the squall does trisect Armageddon.
sent1: The spume trisects squall. sent2: the Philippians either is backhanded or is gutsy or both if something is gutsy. sent3: if a non-backhanded thing cleaves then it trisects spume. sent4: if the squall does not trisect spume and is not a Cronus the filmmaker does trisect spume. sent5: the showman is not backhanded if that the Philippians is not backhanded is correct. sent6: a Cronus that does trisect spume does not trisect Armageddon. sent7: something is gutsy. sent8: everything is not a Cronus and/or does not cleave. sent9: if something that negotiates discursiveness trisects showman it is not a thiabendazole. sent10: the squall trisects spume. sent11: the squall trisects Armageddon if the showman is a Cronus. sent12: the squall is a Cronus.
sent12 & sent10 -> int1: the squall is a kind of a Cronus that trisects spume.; sent6 -> int2: if the squall is a kind of a Cronus that trisects spume it does not trisect Armageddon.; int1 & int2 -> hypothesis;
the filmmaker does trisect spume.
sent8 -> int3: the showman is not a Cronus and/or does not cleave.;
$hypothesis$ = the squall does trisect Armageddon. ; $context$ = sent1: The spume trisects squall. sent2: the Philippians either is backhanded or is gutsy or both if something is gutsy. sent3: if a non-backhanded thing cleaves then it trisects spume. sent4: if the squall does not trisect spume and is not a Cronus the filmmaker does trisect spume. sent5: the showman is not backhanded if that the Philippians is not backhanded is correct. sent6: a Cronus that does trisect spume does not trisect Armageddon. sent7: something is gutsy. sent8: everything is not a Cronus and/or does not cleave. sent9: if something that negotiates discursiveness trisects showman it is not a thiabendazole. sent10: the squall trisects spume. sent11: the squall trisects Armageddon if the showman is a Cronus. sent12: the squall is a Cronus. ; $proof$ = 
sent12 & sent10 -> int1: the squall is a kind of a Cronus that trisects spume.; sent6 -> int2: if the squall is a kind of a Cronus that trisects spume it does not trisect Armageddon.; int1 & int2 -> hypothesis; __DISPROVED__