the chantry is not a kind of a kilobit.
sent1: the spathiphyllum is a formal. sent2: the coop is perigonal. sent3: the fact that the chantry is a kind of a kilobit if something does side and/or it is a kind of an ecologist hold. sent4: the coop is Satanic if something is a kilobit. sent5: the larvacide does side if something either is Satanic or dings chimneystack or both. sent6: the coop is Satanic and it is perigonal.
sent6 -> int1: the coop is Satanic.; int1 -> int2: the coop either is Satanic or dings chimneystack or both.; int2 -> int3: there is something such that it is Satanic and/or it does ding chimneystack.; int3 & sent5 -> int4: the larvacide is a siding.; int4 -> int5: either the larvacide is a kind of a siding or it is an ecologist or both.; int5 -> int6: something is a siding or is an ecologist or both.; int6 & sent3 -> hypothesis;
$hypothesis$ = the chantry is not a kind of a kilobit. ; $context$ = sent1: the spathiphyllum is a formal. sent2: the coop is perigonal. sent3: the fact that the chantry is a kind of a kilobit if something does side and/or it is a kind of an ecologist hold. sent4: the coop is Satanic if something is a kilobit. sent5: the larvacide does side if something either is Satanic or dings chimneystack or both. sent6: the coop is Satanic and it is perigonal. ; $proof$ = 
sent6 -> int1: the coop is Satanic.; int1 -> int2: the coop either is Satanic or dings chimneystack or both.; int2 -> int3: there is something such that it is Satanic and/or it does ding chimneystack.; int3 & sent5 -> int4: the larvacide is a siding.; int4 -> int5: either the larvacide is a kind of a siding or it is an ecologist or both.; int5 -> int6: something is a siding or is an ecologist or both.; int6 & sent3 -> hypothesis; __DISPROVED__