the load is not orthographic.
sent1: the load is a Vipera if something is a kind of a drain and/or it is a kind of a cattalo. sent2: that the Janissary is not a neoteny and it is not a psylla does not hold if the icing does not drain. sent3: the Janissary is a psylla and it is a kind of a neoteny. sent4: if something is a psylla then it does drain. sent5: if the Janissary is a neoteny the glaciation is a neoteny. sent6: something that is not a psylla and is not a kind of a drain is not a kind of a neoteny. sent7: if something is a Vipera that it is orthographic is not false.
sent3 -> int1: the Janissary is a psylla.; sent4 -> int2: if that the Janissary is a psylla is not incorrect then it is a drain.; int1 & int2 -> int3: the Janissary is a drain.; int3 -> int4: the Janissary does drain or it is a cattalo or both.; int4 -> int5: something either is a drain or is a kind of a cattalo or both.; int5 & sent1 -> int6: that the load is a Vipera is not false.; sent7 -> int7: if the load is a kind of a Vipera then it is orthographic.; int6 & int7 -> hypothesis;
the glaciation is a neoteny.
sent6 -> int8: if the Janissary is not a psylla and is not a drain then it is a kind of a neoteny.;
$hypothesis$ = the load is not orthographic. ; $context$ = sent1: the load is a Vipera if something is a kind of a drain and/or it is a kind of a cattalo. sent2: that the Janissary is not a neoteny and it is not a psylla does not hold if the icing does not drain. sent3: the Janissary is a psylla and it is a kind of a neoteny. sent4: if something is a psylla then it does drain. sent5: if the Janissary is a neoteny the glaciation is a neoteny. sent6: something that is not a psylla and is not a kind of a drain is not a kind of a neoteny. sent7: if something is a Vipera that it is orthographic is not false. ; $proof$ = 
sent3 -> int1: the Janissary is a psylla.; sent4 -> int2: if that the Janissary is a psylla is not incorrect then it is a drain.; int1 & int2 -> int3: the Janissary is a drain.; int3 -> int4: the Janissary does drain or it is a cattalo or both.; int4 -> int5: something either is a drain or is a kind of a cattalo or both.; int5 & sent1 -> int6: that the load is a Vipera is not false.; sent7 -> int7: if the load is a kind of a Vipera then it is orthographic.; int6 & int7 -> hypothesis; __DISPROVED__