the Parisian whomps but it does not restart videocassette if the videocassette is not a Papua.
sent1: the Parisian is a drusen but it does not whomp. sent2: if that the coralroot does not restart videocassette is not wrong the videocassette is a Papua and is not a drusen. sent3: the Parisian does not restart videocassette. sent4: the videocassette is not a kind of a drusen. sent5: the Parisian does not restart videocassette if that the videocassette is not a kind of a Papua is right. sent6: if the coralroot is not a kind of a drusen it is a militiaman. sent7: the Parisian does not restart videocassette if the coralroot is a drusen. sent8: the Parisian is not a antiferromagnetism. sent9: if that the coralroot is a kind of a militiaman is not false it is sustainable. sent10: the coralroot is a Jacob. sent11: if the coralroot is sustainable then the videocassette is a Papua. sent12: the compere restarts videocassette.
void -> assump1: Let's assume that the coralroot is not a kind of a drusen.; sent6 & assump1 -> int1: the coralroot is a kind of a militiaman.; int1 & sent9 -> int2: the coralroot is sustainable.; int2 & sent11 -> int3: the videocassette is a Papua.; void -> assump2: Let's assume that the videocassette is not a kind of a Papua.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the coralroot is a drusen.;
$hypothesis$ = the Parisian whomps but it does not restart videocassette if the videocassette is not a Papua. ; $context$ = sent1: the Parisian is a drusen but it does not whomp. sent2: if that the coralroot does not restart videocassette is not wrong the videocassette is a Papua and is not a drusen. sent3: the Parisian does not restart videocassette. sent4: the videocassette is not a kind of a drusen. sent5: the Parisian does not restart videocassette if that the videocassette is not a kind of a Papua is right. sent6: if the coralroot is not a kind of a drusen it is a militiaman. sent7: the Parisian does not restart videocassette if the coralroot is a drusen. sent8: the Parisian is not a antiferromagnetism. sent9: if that the coralroot is a kind of a militiaman is not false it is sustainable. sent10: the coralroot is a Jacob. sent11: if the coralroot is sustainable then the videocassette is a Papua. sent12: the compere restarts videocassette. ; $proof$ = 
void -> assump1: Let's assume that the coralroot is not a kind of a drusen.; sent6 & assump1 -> int1: the coralroot is a kind of a militiaman.; int1 & sent9 -> int2: the coralroot is sustainable.; int2 & sent11 -> int3: the videocassette is a Papua.; void -> assump2: Let's assume that the videocassette is not a kind of a Papua.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the coralroot is a drusen.; __UNKNOWN__