the reseau is a Tree.
sent1: everything does culture utahraptor. sent2: the cutter does not culture microglia. sent3: the reseau is a Tree if the casein is not discreet. sent4: the fact that something does not index meronymy is correct if the fact that it is a kind of a trou-de-loup and does not color scrappiness is incorrect. sent5: the reticule is a trou-de-loup if there exists something such that it is not Columbian and/or it is a trou-de-loup. sent6: the fact that the professionalization does not culture microglia and is nonslippery is not true. sent7: something is not a kind of a eucalyptus and does culture utahraptor if it does not index meronymy. sent8: something is not non-Columbian and/or is a trou-de-loup. sent9: if something does not index meronymy then it colors scrappiness. sent10: something is nonslippery and/or it is a Tree. sent11: the fact that the petter is a trou-de-loup but it does not color scrappiness is false if it is not discreet. sent12: if there exists something such that it does not culture microglia and is not nonslippery the fact that the reticule does not index meronymy hold. sent13: the petter does not culture utahraptor if there exists something such that that that it does not culture microglia and is not nonslippery is right is false. sent14: if the reticule does color scrappiness and is a trou-de-loup the casein is not discreet.
void -> assump1: Let's assume that that the professionalization does not culture microglia and is slippery is incorrect.; assump1 -> int1: there exists something such that the fact that it does not culture microglia and is not nonslippery is not true.; int1 & sent13 -> int2: the petter does not culture utahraptor.; sent1 -> int3: the petter cultures utahraptor.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the professionalization does not culture microglia and is not nonslippery is true.; int5 -> int6: something does not culture microglia and is not nonslippery.; int6 & sent12 -> int7: the reticule does not index meronymy.; sent9 -> int8: if the reticule does not index meronymy then it colors scrappiness.; int7 & int8 -> int9: that the reticule colors scrappiness is right.;
the fission is not a eucalyptus and/or it cultures blended.
sent7 -> int10: if the petter does not index meronymy then it is not a eucalyptus and it cultures utahraptor.; sent4 -> int11: if that the petter is a trou-de-loup and does not color scrappiness does not hold then it does not index meronymy.;
$hypothesis$ = the reseau is a Tree. ; $context$ = sent1: everything does culture utahraptor. sent2: the cutter does not culture microglia. sent3: the reseau is a Tree if the casein is not discreet. sent4: the fact that something does not index meronymy is correct if the fact that it is a kind of a trou-de-loup and does not color scrappiness is incorrect. sent5: the reticule is a trou-de-loup if there exists something such that it is not Columbian and/or it is a trou-de-loup. sent6: the fact that the professionalization does not culture microglia and is nonslippery is not true. sent7: something is not a kind of a eucalyptus and does culture utahraptor if it does not index meronymy. sent8: something is not non-Columbian and/or is a trou-de-loup. sent9: if something does not index meronymy then it colors scrappiness. sent10: something is nonslippery and/or it is a Tree. sent11: the fact that the petter is a trou-de-loup but it does not color scrappiness is false if it is not discreet. sent12: if there exists something such that it does not culture microglia and is not nonslippery the fact that the reticule does not index meronymy hold. sent13: the petter does not culture utahraptor if there exists something such that that that it does not culture microglia and is not nonslippery is right is false. sent14: if the reticule does color scrappiness and is a trou-de-loup the casein is not discreet. ; $proof$ = 
void -> assump1: Let's assume that that the professionalization does not culture microglia and is slippery is incorrect.; assump1 -> int1: there exists something such that the fact that it does not culture microglia and is not nonslippery is not true.; int1 & sent13 -> int2: the petter does not culture utahraptor.; sent1 -> int3: the petter cultures utahraptor.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the professionalization does not culture microglia and is not nonslippery is true.; int5 -> int6: something does not culture microglia and is not nonslippery.; int6 & sent12 -> int7: the reticule does not index meronymy.; sent9 -> int8: if the reticule does not index meronymy then it colors scrappiness.; int7 & int8 -> int9: that the reticule colors scrappiness is right.; __UNKNOWN__