if the levator is a staplegun then the tomtit does graph.
sent1: if the levator strokes demographic it is a pick. sent2: if something does pick then it does bicycle subordination. sent3: if that the tomtit bicycles subordination hold then the levator does graph. sent4: something picks if it is a staplegun.
sent4 -> int1: if the levator is a staplegun that it is a pick is not wrong.; void -> assump1: Let's assume that that the levator is a staplegun is not incorrect.; int1 & assump1 -> int2: the levator is a pick.; sent2 -> int3: if the levator is a pick it does bicycle subordination.; int2 & int3 -> int4: the levator bicycles subordination.;
$hypothesis$ = if the levator is a staplegun then the tomtit does graph. ; $context$ = sent1: if the levator strokes demographic it is a pick. sent2: if something does pick then it does bicycle subordination. sent3: if that the tomtit bicycles subordination hold then the levator does graph. sent4: something picks if it is a staplegun. ; $proof$ = 
sent4 -> int1: if the levator is a staplegun that it is a pick is not wrong.; void -> assump1: Let's assume that that the levator is a staplegun is not incorrect.; int1 & assump1 -> int2: the levator is a pick.; sent2 -> int3: if the levator is a pick it does bicycle subordination.; int2 & int3 -> int4: the levator bicycles subordination.; __UNKNOWN__