the parapsychologist is not a file.
sent1: if the tensor does weed Niagara and romps then the survivor is not araneidal. sent2: if the chamber does radio then that the tensor does weed Niagara is not wrong. sent3: something that does better jurisdiction is a radio. sent4: if that the parapsychologist does file is right the chamber does better jurisdiction. sent5: the survivor is araneidal if the papoose is araneidal. sent6: the fact that the tensor betters Cupid but it is not a weevil is not right. sent7: the papoose is araneidal.
void -> assump1: Let's assume that the parapsychologist is a file.; sent4 & assump1 -> int1: the chamber betters jurisdiction.; sent3 -> int2: the chamber is a radio if it betters jurisdiction.; int1 & int2 -> int3: the chamber does radio.; int3 & sent2 -> int4: the tensor weeds Niagara.; sent5 & sent7 -> int5: the survivor is araneidal.;
$hypothesis$ = the parapsychologist is not a file. ; $context$ = sent1: if the tensor does weed Niagara and romps then the survivor is not araneidal. sent2: if the chamber does radio then that the tensor does weed Niagara is not wrong. sent3: something that does better jurisdiction is a radio. sent4: if that the parapsychologist does file is right the chamber does better jurisdiction. sent5: the survivor is araneidal if the papoose is araneidal. sent6: the fact that the tensor betters Cupid but it is not a weevil is not right. sent7: the papoose is araneidal. ; $proof$ = 
void -> assump1: Let's assume that the parapsychologist is a file.; sent4 & assump1 -> int1: the chamber betters jurisdiction.; sent3 -> int2: the chamber is a radio if it betters jurisdiction.; int1 & int2 -> int3: the chamber does radio.; int3 & sent2 -> int4: the tensor weeds Niagara.; sent5 & sent7 -> int5: the survivor is araneidal.; __UNKNOWN__