that the heterozygote is a ICE if the fake does jellify is not right.
sent1: the fake networks club-moss. sent2: if that the fake jellifies is not incorrect the heterozygote does flick. sent3: something does jellify if that it speaks is right. sent4: if something is unexpansive it is sclerotic. sent5: the fake jellifies if it is a flick. sent6: the heterozygote teaches cam. sent7: the fake is a ICE if the heterozygote jellifies. sent8: something networks club-moss if it is a kind of a flick. sent9: if something networks club-moss the fact that it is a ICE is correct. sent10: the fake is a kind of a flick if the heterozygote jellifies. sent11: if the fake is a flick then the heterozygote is a kind of a ICE. sent12: the heterozygote is a flick if that it jellifies is correct.
void -> assump1: Let's assume that the fake does jellify.; sent2 & assump1 -> int1: the heterozygote is a flick.; sent8 -> int2: if the heterozygote is a flick it networks club-moss.; int1 & int2 -> int3: the fact that the heterozygote networks club-moss hold.; sent9 -> int4: if that the heterozygote does network club-moss hold it is a kind of a ICE.; int3 & int4 -> int5: the heterozygote is a kind of a ICE.; [assump1] & int5 -> hypothesis;
the heterozygote jellifies if it does speak.
sent3 -> hypothesis;
$hypothesis$ = that the heterozygote is a ICE if the fake does jellify is not right. ; $context$ = sent1: the fake networks club-moss. sent2: if that the fake jellifies is not incorrect the heterozygote does flick. sent3: something does jellify if that it speaks is right. sent4: if something is unexpansive it is sclerotic. sent5: the fake jellifies if it is a flick. sent6: the heterozygote teaches cam. sent7: the fake is a ICE if the heterozygote jellifies. sent8: something networks club-moss if it is a kind of a flick. sent9: if something networks club-moss the fact that it is a ICE is correct. sent10: the fake is a kind of a flick if the heterozygote jellifies. sent11: if the fake is a flick then the heterozygote is a kind of a ICE. sent12: the heterozygote is a flick if that it jellifies is correct. ; $proof$ = 
void -> assump1: Let's assume that the fake does jellify.; sent2 & assump1 -> int1: the heterozygote is a flick.; sent8 -> int2: if the heterozygote is a flick it networks club-moss.; int1 & int2 -> int3: the fact that the heterozygote networks club-moss hold.; sent9 -> int4: if that the heterozygote does network club-moss hold it is a kind of a ICE.; int3 & int4 -> int5: the heterozygote is a kind of a ICE.; [assump1] & int5 -> hypothesis; __DISPROVED__