「あの原則禁止は抗い難いかまたは七号営業であるか両方ともである」ということは成り立たない
fact1: なんらかのものは抗い難くないとすれば「七号営業であるがしかし踊り込まない」ということは事実と異なる fact2: 仮にこの出向社員は次世代ＣＡＬＳでないとすれば「言い通すしそれは圧排しない」ということは成り立たない fact3: この事務所等は七号営業であるかあるいは当然過ぎるかもしくは両方ともだ fact4: 「なんらかの物は青白磁でないけどそれは弱々しい」ということは成り立たないとすればそれはＲＳフリップフロップでない fact5: 「あの原則禁止は人間らしい」ということは成り立つとすれば「あの何十軒は泊まり込まないけどそれは青白磁である」ということは嘘である fact6: もし仮にとある物はＲＳフリップフロップでないとしたら「それは抗い難いかもしくはそれは七号営業であるかもしくはどちらもだ」ということは成り立たない fact7: もしも「この出向社員は言い通すけど圧排しない」ということは偽だとするとあの何十軒は理解し易くない fact8: もしあるものは泊まり込むとすると「それは青白磁でなくておまけにそれは弱々しい」ということは成り立たない fact9: 「あの何十軒は私達女性である一方でそれは御寒くない」ということは間違っている fact10: 仮に「あの何十軒は私達女性であるがしかし御寒くない」ということは嘘であるとすればあの原則禁止は七号営業だ fact11: もし仮にあの何十軒が弱々しかないならこの治水は抗い難いということはないがしかしＲＳフリップフロップだ fact12: この昼飯時は後悔でない fact13: もしあの何十軒は理解し易くないなら「あの原則禁止は泊まり込むしそれに人間らしい」ということは偽でない fact14: 「あの原則禁止は七号営業だ一方で私達女性でない」ということは成り立たないならあの何十軒は抗い難い fact15: 仮にあの何十軒が私達女性でないならあの原則禁止は七号営業だ
fact10 & fact9 -> int1: あの原則禁止は七号営業だ; int1 -> hypothesis;
fact10 & fact9 -> int1: {B}{b}; int1 -> hypothesis;
「あの原則禁止は抗い難いかもしくは七号営業であるかあるいは両方ともである」ということは偽だ
fact18 -> int2: もし仮にあの原則禁止はＲＳフリップフロップでないなら「それは抗い難いかあるいは七号営業であるかあるいはどちらもだ」ということは誤っている; fact16 -> int3: もしも「あの原則禁止は青白磁だということはないがしかし弱々しい」ということは成り立つということはないならそれはＲＳフリップフロップでない; fact19 -> int4: もしも「あの原則禁止は泊まり込む」ということは成り立つとしたら「青白磁でないけれど弱々しい」ということは成り立たない; fact20 -> int5: 「後悔でない」ものはある;
$facts$ = fact1: なんらかのものは抗い難くないとすれば「七号営業であるがしかし踊り込まない」ということは事実と異なる fact2: 仮にこの出向社員は次世代ＣＡＬＳでないとすれば「言い通すしそれは圧排しない」ということは成り立たない fact3: この事務所等は七号営業であるかあるいは当然過ぎるかもしくは両方ともだ fact4: 「なんらかの物は青白磁でないけどそれは弱々しい」ということは成り立たないとすればそれはＲＳフリップフロップでない fact5: 「あの原則禁止は人間らしい」ということは成り立つとすれば「あの何十軒は泊まり込まないけどそれは青白磁である」ということは嘘である fact6: もし仮にとある物はＲＳフリップフロップでないとしたら「それは抗い難いかもしくはそれは七号営業であるかもしくはどちらもだ」ということは成り立たない fact7: もしも「この出向社員は言い通すけど圧排しない」ということは偽だとするとあの何十軒は理解し易くない fact8: もしあるものは泊まり込むとすると「それは青白磁でなくておまけにそれは弱々しい」ということは成り立たない fact9: 「あの何十軒は私達女性である一方でそれは御寒くない」ということは間違っている fact10: 仮に「あの何十軒は私達女性であるがしかし御寒くない」ということは嘘であるとすればあの原則禁止は七号営業だ fact11: もし仮にあの何十軒が弱々しかないならこの治水は抗い難いということはないがしかしＲＳフリップフロップだ fact12: この昼飯時は後悔でない fact13: もしあの何十軒は理解し易くないなら「あの原則禁止は泊まり込むしそれに人間らしい」ということは偽でない fact14: 「あの原則禁止は七号営業だ一方で私達女性でない」ということは成り立たないならあの何十軒は抗い難い fact15: 仮にあの何十軒が私達女性でないならあの原則禁止は七号営業だ ; $hypothesis$ = 「あの原則禁止は抗い難いかまたは七号営業であるか両方ともである」ということは成り立たない ; $proof$ = 
fact10 & fact9 -> int1: あの原則禁止は七号営業だ; int1 -> hypothesis; __DISPROVED__
事実1: なんらかのものは抗い難くないとすれば「七号営業であるがしかし踊り込まない」ということは事実と異なる
事実2: 仮にこの出向社員は次世代ＣＡＬＳでないとすれば「言い通すしそれは圧排しない」ということは成り立たない
事実3: この事務所等は七号営業であるかあるいは当然過ぎるかもしくは両方ともだ
事実4: 「なんらかの物は青白磁でないけどそれは弱々しい」ということは成り立たないとすればそれはＲＳフリップフロップでない
事実5: 「あの原則禁止は人間らしい」ということは成り立つとすれば「あの何十軒は泊まり込まないけどそれは青白磁である」ということは嘘である
事実6: もし仮にとある物はＲＳフリップフロップでないとしたら「それは抗い難いかもしくはそれは七号営業であるかもしくはどちらもだ」ということは成り立たない
事実7: もしも「この出向社員は言い通すけど圧排しない」ということは偽だとするとあの何十軒は理解し易くない
事実8: もしあるものは泊まり込むとすると「それは青白磁でなくておまけにそれは弱々しい」ということは成り立たない
事実9: 「あの何十軒は私達女性である一方でそれは御寒くない」ということは間違っている
事実10: 仮に「あの何十軒は私達女性であるがしかし御寒くない」ということは嘘であるとすればあの原則禁止は七号営業だ
事実11: もし仮にあの何十軒が弱々しかないならこの治水は抗い難いということはないがしかしＲＳフリップフロップだ
事実12: この昼飯時は後悔でない
事実13: もしあの何十軒は理解し易くないなら「あの原則禁止は泊まり込むしそれに人間らしい」ということは偽でない
事実14: 「あの原則禁止は七号営業だ一方で私達女性でない」ということは成り立たないならあの何十軒は抗い難い
事実15: 仮にあの何十軒が私達女性でないならあの原則禁止は七号営業だ

仮説: 「あの原則禁止は抗い難いかまたは七号営業であるか両方ともである」ということは成り立たない
1. 事実10と事実9から、推論1: "あの原則禁止は七号営業だ"が導かれる
2. 推論1から、仮説が否定される

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