the performance is not popular.
sent1: the bus is not a kind of a phaeton if the boat is a Prokhorov that is a kind of a phaeton. sent2: there exists nothing that is not a kind of a Prokhorov and is a warner. sent3: the performance is a kind of a warner if the fact that it is not a 1900s and it is not a phaeton hold. sent4: if there is something such that it is a kind of a Prokhorov and/or is a kind of a 1900s then the performance is not a saddle. sent5: the performance is a scatophagy. sent6: the performance is a scatophagy if it is a Lycaenidae. sent7: something is not popular if that it is both popular and a 1900s is not right. sent8: the performance is not a kind of a saddle if there is something such that it is a kind of a Prokhorov. sent9: if something that does not saddle is not popular it is a warner. sent10: everything is parabolic or it is a kind of a phaeton or both. sent11: if the performance is a Lycaenidae then it is both a scatophagy and not a warner. sent12: if the stephanion is parabolic the performance is a Lycaenidae. sent13: the fact that the boat is a 1900s hold. sent14: the performance is a Lycaenidae if the stephanion is a phaeton.
sent13 -> int1: the boat is a Prokhorov and/or it is a 1900s.; int1 -> int2: there exists something such that it is a Prokhorov or it is a 1900s or both.; int2 & sent4 -> int3: the performance is not a saddle.; void -> assump1: Let's assume that the performance is not popular.; int3 & assump1 -> int4: the performance is not a saddle and it is not popular.; sent9 -> int5: the performance is a warner if it does not saddle and is unpopular.; int4 & int5 -> int6: the performance is a warner.; sent10 -> int7: the stephanion is parabolic and/or it is a phaeton.; int7 & sent12 & sent14 -> int8: the performance is a Lycaenidae.; sent11 & int8 -> int9: the performance is a scatophagy and is not a warner.; int9 -> int10: the performance is not a warner.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
the bus is not a phaeton.
sent2 -> int12: the fact that the stephanion is not a kind of a Prokhorov but it is a warner is wrong.; int12 -> int13: there is something such that the fact that it is not a kind of a Prokhorov and it is a warner is false.;
$hypothesis$ = the performance is not popular. ; $context$ = sent1: the bus is not a kind of a phaeton if the boat is a Prokhorov that is a kind of a phaeton. sent2: there exists nothing that is not a kind of a Prokhorov and is a warner. sent3: the performance is a kind of a warner if the fact that it is not a 1900s and it is not a phaeton hold. sent4: if there is something such that it is a kind of a Prokhorov and/or is a kind of a 1900s then the performance is not a saddle. sent5: the performance is a scatophagy. sent6: the performance is a scatophagy if it is a Lycaenidae. sent7: something is not popular if that it is both popular and a 1900s is not right. sent8: the performance is not a kind of a saddle if there is something such that it is a kind of a Prokhorov. sent9: if something that does not saddle is not popular it is a warner. sent10: everything is parabolic or it is a kind of a phaeton or both. sent11: if the performance is a Lycaenidae then it is both a scatophagy and not a warner. sent12: if the stephanion is parabolic the performance is a Lycaenidae. sent13: the fact that the boat is a 1900s hold. sent14: the performance is a Lycaenidae if the stephanion is a phaeton. ; $proof$ = 
sent13 -> int1: the boat is a Prokhorov and/or it is a 1900s.; int1 -> int2: there exists something such that it is a Prokhorov or it is a 1900s or both.; int2 & sent4 -> int3: the performance is not a saddle.; void -> assump1: Let's assume that the performance is not popular.; int3 & assump1 -> int4: the performance is not a saddle and it is not popular.; sent9 -> int5: the performance is a warner if it does not saddle and is unpopular.; int4 & int5 -> int6: the performance is a warner.; sent10 -> int7: the stephanion is parabolic and/or it is a phaeton.; int7 & sent12 & sent14 -> int8: the performance is a Lycaenidae.; sent11 & int8 -> int9: the performance is a scatophagy and is not a warner.; int9 -> int10: the performance is not a warner.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __DISPROVED__