the motorcycle is not a clash.
sent1: the mediator is not supportive if the tritheist does own abruption and is not a kind of a brodiaea. sent2: if something does not formalize Wilde but it formalizes shelfful it is supportive. sent3: if the mediator is a conflagration that is a spaceflight then it does not formalize Wilde. sent4: the mediator is phreatic and it is a kind of a conflagration. sent5: the tritheist is a kind of a pork. sent6: the mediator is a brodiaea and it is a conflagration. sent7: the mediator formalizes shelfful if the motorcycle is phreatic. sent8: the tritheist is supportive. sent9: the mediator is anticlimactic. sent10: the tritheist owns abruption and is not a brodiaea. sent11: the mediator is not a clash. sent12: if the motorcycle is a pork then it is phreatic. sent13: the fact that the motorcycle is a pork is not wrong if it does clash. sent14: the fact that the mediator is a conflagration that is a spaceflight is not incorrect.
void -> assump1: Let's assume that the motorcycle clashes.; sent13 & assump1 -> int1: the motorcycle is a pork.; int1 & sent12 -> int2: the motorcycle is phreatic.; int2 & sent7 -> int3: the mediator does formalize shelfful.; sent3 & sent14 -> int4: the fact that the mediator does not formalize Wilde hold.; int3 & int4 -> int5: the mediator does not formalize Wilde and formalizes shelfful.; sent2 -> int6: the mediator is supportive if it does not formalize Wilde and does formalize shelfful.; int5 & int6 -> int7: the mediator is supportive.; sent1 & sent10 -> int8: the mediator is not supportive.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the motorcycle is not a clash. ; $context$ = sent1: the mediator is not supportive if the tritheist does own abruption and is not a kind of a brodiaea. sent2: if something does not formalize Wilde but it formalizes shelfful it is supportive. sent3: if the mediator is a conflagration that is a spaceflight then it does not formalize Wilde. sent4: the mediator is phreatic and it is a kind of a conflagration. sent5: the tritheist is a kind of a pork. sent6: the mediator is a brodiaea and it is a conflagration. sent7: the mediator formalizes shelfful if the motorcycle is phreatic. sent8: the tritheist is supportive. sent9: the mediator is anticlimactic. sent10: the tritheist owns abruption and is not a brodiaea. sent11: the mediator is not a clash. sent12: if the motorcycle is a pork then it is phreatic. sent13: the fact that the motorcycle is a pork is not wrong if it does clash. sent14: the fact that the mediator is a conflagration that is a spaceflight is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the motorcycle clashes.; sent13 & assump1 -> int1: the motorcycle is a pork.; int1 & sent12 -> int2: the motorcycle is phreatic.; int2 & sent7 -> int3: the mediator does formalize shelfful.; sent3 & sent14 -> int4: the fact that the mediator does not formalize Wilde hold.; int3 & int4 -> int5: the mediator does not formalize Wilde and formalizes shelfful.; sent2 -> int6: the mediator is supportive if it does not formalize Wilde and does formalize shelfful.; int5 & int6 -> int7: the mediator is supportive.; sent1 & sent10 -> int8: the mediator is not supportive.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__