the fact that the fact that the modillion is not a paternalism and it is not a Carlyle is not correct if the current is two-dimensional does not hold.
sent1: the modillion is not a paternalism and not a Carlyle if the current is two-dimensional. sent2: if the current is not a paternalism then that the modillion is not a paternalism and is not a Carlyle is wrong. sent3: if something is two-dimensional it is not non-stoichiometric and it is not a paternalism. sent4: the current is stoichiometric. sent5: that something is a kind of a Carlyle but it is not a Kolam is not correct if that it is not a kind of a Bornean is not wrong. sent6: that the current is both not a Carlyle and not a paternalism is not right if the modillion is two-dimensional.
sent3 -> int1: the current is stoichiometric and not a paternalism if it is two-dimensional.; void -> assump1: Let's assume that the current is two-dimensional.; int1 & assump1 -> int2: the current is stoichiometric and is not a kind of a paternalism.; int2 -> int3: the current is not a paternalism.; int3 & sent2 -> int4: the fact that the modillion is not a paternalism and it is not a Carlyle does not hold.; [assump1] & int4 -> hypothesis;
the fulmar is not two-dimensional.
sent5 -> int5: that the modillion is a Carlyle and is not a Kolam is not correct if it is not a Bornean.;
$hypothesis$ = the fact that the fact that the modillion is not a paternalism and it is not a Carlyle is not correct if the current is two-dimensional does not hold. ; $context$ = sent1: the modillion is not a paternalism and not a Carlyle if the current is two-dimensional. sent2: if the current is not a paternalism then that the modillion is not a paternalism and is not a Carlyle is wrong. sent3: if something is two-dimensional it is not non-stoichiometric and it is not a paternalism. sent4: the current is stoichiometric. sent5: that something is a kind of a Carlyle but it is not a Kolam is not correct if that it is not a kind of a Bornean is not wrong. sent6: that the current is both not a Carlyle and not a paternalism is not right if the modillion is two-dimensional. ; $proof$ = 
sent3 -> int1: the current is stoichiometric and not a paternalism if it is two-dimensional.; void -> assump1: Let's assume that the current is two-dimensional.; int1 & assump1 -> int2: the current is stoichiometric and is not a kind of a paternalism.; int2 -> int3: the current is not a paternalism.; int3 & sent2 -> int4: the fact that the modillion is not a paternalism and it is not a Carlyle does not hold.; [assump1] & int4 -> hypothesis; __DISPROVED__