the hobbler is a lactose if the Oriental is a basics.
sent1: the rhizopod is a kind of a cubist. sent2: the hobbler is a cubist and a lactose if the scratcher is not a cubist. sent3: if the scratcher is a kind of a cubist then the Oriental is not impassable and it is not hungry. sent4: if the scratcher is not a cubist the hobbler is cubist. sent5: if that the corrective is a cubist is true then the Oriental is a cubist. sent6: if the Oriental is a cubist the fact that the scratcher is not a kind of a basics and it is not impassable does not hold. sent7: if something is not impassable and it is not hungry it is not basics.
void -> assump2: Let's assume that the scratcher is a kind of a cubist.; sent3 & assump2 -> int1: the Oriental is not impassable and is not hungry.; sent7 -> int2: if the Oriental is not impassable and it is not hungry it is not a kind of a basics.; int1 & int2 -> int3: the fact that the Oriental is not a basics is not false.; void -> assump1: Let's assume that the fact that the Oriental is a basics hold.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the scratcher is not a cubist.; int5 & sent2 -> int6: the hobbler is cubist thing that is a lactose.; int6 -> int7: the hobbler is a kind of a lactose.; [assump1] & int7 -> hypothesis;
the hobbler is impassable.
$hypothesis$ = the hobbler is a lactose if the Oriental is a basics. ; $context$ = sent1: the rhizopod is a kind of a cubist. sent2: the hobbler is a cubist and a lactose if the scratcher is not a cubist. sent3: if the scratcher is a kind of a cubist then the Oriental is not impassable and it is not hungry. sent4: if the scratcher is not a cubist the hobbler is cubist. sent5: if that the corrective is a cubist is true then the Oriental is a cubist. sent6: if the Oriental is a cubist the fact that the scratcher is not a kind of a basics and it is not impassable does not hold. sent7: if something is not impassable and it is not hungry it is not basics. ; $proof$ = 
void -> assump2: Let's assume that the scratcher is a kind of a cubist.; sent3 & assump2 -> int1: the Oriental is not impassable and is not hungry.; sent7 -> int2: if the Oriental is not impassable and it is not hungry it is not a kind of a basics.; int1 & int2 -> int3: the fact that the Oriental is not a basics is not false.; void -> assump1: Let's assume that the fact that the Oriental is a basics hold.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the scratcher is not a cubist.; int5 & sent2 -> int6: the hobbler is cubist thing that is a lactose.; int6 -> int7: the hobbler is a kind of a lactose.; [assump1] & int7 -> hypothesis; __PROVED__