あの三座は青年共産同盟でない
fact1: その失格が水道栓だしそれに青年共産同盟である fact2: 仮にその消化酵素が立て難いとするとあの三座は青年共産同盟だ fact3: 仮に何かは言い交わさないとするとそれは傘だし加えて立て難い fact4: その消化酵素は立て難いしさらに言い交わす fact5: 仮に「なんらかの物は言い交わすし加えて暖房する」ということは事実と異なるとしたらそれは言い交わさない fact6: あのアンカーは青年共産同盟だしおまけに驚喜する fact7: その消化酵素は言い交わす fact8: 何かは言い交わさないとすれば立て難くないかまたは青年共産同盟でないか両方ともだ fact9: もし仮になんらかのものは立て難いということはないかまたは青年共産同盟でないかまたはどちらもだとすればそれは青年共産同盟でない
fact4 -> int1: その消化酵素は立て難い; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
その失格は水道栓であるし傘である
fact11 -> int2: 「その失格は水道栓である」ということは正しい; fact10 -> int3: その失格が言い交わさないとすると傘だし立て難い; fact12 -> int4: もし「その失格は言い交わすしそれは暖房する」ということは成り立たないとするとそれは言い交わさない;
$facts$ = fact1: その失格が水道栓だしそれに青年共産同盟である fact2: 仮にその消化酵素が立て難いとするとあの三座は青年共産同盟だ fact3: 仮に何かは言い交わさないとするとそれは傘だし加えて立て難い fact4: その消化酵素は立て難いしさらに言い交わす fact5: 仮に「なんらかの物は言い交わすし加えて暖房する」ということは事実と異なるとしたらそれは言い交わさない fact6: あのアンカーは青年共産同盟だしおまけに驚喜する fact7: その消化酵素は言い交わす fact8: 何かは言い交わさないとすれば立て難くないかまたは青年共産同盟でないか両方ともだ fact9: もし仮になんらかのものは立て難いということはないかまたは青年共産同盟でないかまたはどちらもだとすればそれは青年共産同盟でない ; $hypothesis$ = あの三座は青年共産同盟でない ; $proof$ = 
fact4 -> int1: その消化酵素は立て難い; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: その失格が水道栓だしそれに青年共産同盟である
事実2: 仮にその消化酵素が立て難いとするとあの三座は青年共産同盟だ
事実3: 仮に何かは言い交わさないとするとそれは傘だし加えて立て難い
事実4: その消化酵素は立て難いしさらに言い交わす
事実5: 仮に「なんらかの物は言い交わすし加えて暖房する」ということは事実と異なるとしたらそれは言い交わさない
事実6: あのアンカーは青年共産同盟だしおまけに驚喜する
事実7: その消化酵素は言い交わす
事実8: 何かは言い交わさないとすれば立て難くないかまたは青年共産同盟でないか両方ともだ
事実9: もし仮になんらかのものは立て難いということはないかまたは青年共産同盟でないかまたはどちらもだとすればそれは青年共産同盟でない

仮説: あの三座は青年共産同盟でない
1. 事実4から、推論1: "その消化酵素は立て難い"が導かれる
2. 推論1と事実2から、仮説が否定される

よって、仮説が否定されました。