あの人民公社は渡り為さるかもしくは睦み合うかあるいはどちらもだ
fact1: あの鉄鉢は言い形だ fact2: 「もしもあの鉄鉢は煙たくないとしたら「あの人民公社は度外視するかあるいは渡り為さる」ということは誤りだ」ということは事実である fact3: あの鉄鉢は度外視するがそれは提出すということはない fact4: もし仮にこの使用傾向が提出すらないとしたらあの鉄鉢は度外視するがしかし煙たくない fact5: 仮にあの人民公社が結び付き難くないならばあの鉄鉢は提出すしそれは睦み合う fact6: 結び付き難いということはない物は睦み合うし提出す fact7: もしあの鉄鉢は煙たくないとすれば「あの人民公社は渡り為さるかもしくはそれは睦み合うか両方ともである」ということは誤りだ fact8: あの肉襞は提出すらない fact9: この使用傾向は誌であるが食傷しない fact10: 仮に「あの鉄鉢は睦み合わない」ということは本当だとすればあの人民公社は度外視しない fact11: あの人民公社は提出す fact12: あの人民公社は面白おかしいということはない fact13: そのタイ国は提出すらない fact14: あの鉄鉢は睦み合うということはない fact15: もし「あの鉄鉢は渡り為さらない」ということは成り立つとしたら「あの人民公社は度外視しない」ということは本当である fact16: あの鉄鉢は渡り為さる fact17: この使用傾向は提出すらない fact18: 「その人選は渡り為さるかもしくは読み辛い」ということは誤っている fact19: あの信組は度外視する
fact4 & fact17 -> int1: あの鉄鉢は度外視する一方で煙たくない; int1 -> int2: あの鉄鉢は煙たくない; int2 & fact7 -> hypothesis;
fact4 & fact17 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> int2: ¬{AB}{b}; int2 & fact7 -> hypothesis;
あの人民公社は渡り為さるかそれは睦み合うかもしくはどちらもだ
fact20 -> int3: もしも「あの人民公社は結び付き難くない」ということは成り立つとすれば睦み合うし提出す;
$facts$ = fact1: あの鉄鉢は言い形だ fact2: 「もしもあの鉄鉢は煙たくないとしたら「あの人民公社は度外視するかあるいは渡り為さる」ということは誤りだ」ということは事実である fact3: あの鉄鉢は度外視するがそれは提出すということはない fact4: もし仮にこの使用傾向が提出すらないとしたらあの鉄鉢は度外視するがしかし煙たくない fact5: 仮にあの人民公社が結び付き難くないならばあの鉄鉢は提出すしそれは睦み合う fact6: 結び付き難いということはない物は睦み合うし提出す fact7: もしあの鉄鉢は煙たくないとすれば「あの人民公社は渡り為さるかもしくはそれは睦み合うか両方ともである」ということは誤りだ fact8: あの肉襞は提出すらない fact9: この使用傾向は誌であるが食傷しない fact10: 仮に「あの鉄鉢は睦み合わない」ということは本当だとすればあの人民公社は度外視しない fact11: あの人民公社は提出す fact12: あの人民公社は面白おかしいということはない fact13: そのタイ国は提出すらない fact14: あの鉄鉢は睦み合うということはない fact15: もし「あの鉄鉢は渡り為さらない」ということは成り立つとしたら「あの人民公社は度外視しない」ということは本当である fact16: あの鉄鉢は渡り為さる fact17: この使用傾向は提出すらない fact18: 「その人選は渡り為さるかもしくは読み辛い」ということは誤っている fact19: あの信組は度外視する ; $hypothesis$ = あの人民公社は渡り為さるかもしくは睦み合うかあるいはどちらもだ ; $proof$ = 
fact4 & fact17 -> int1: あの鉄鉢は度外視する一方で煙たくない; int1 -> int2: あの鉄鉢は煙たくない; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: あの鉄鉢は言い形だ
事実2: 「もしもあの鉄鉢は煙たくないとしたら「あの人民公社は度外視するかあるいは渡り為さる」ということは誤りだ」ということは事実である
事実3: あの鉄鉢は度外視するがそれは提出すということはない
事実4: もし仮にこの使用傾向が提出すらないとしたらあの鉄鉢は度外視するがしかし煙たくない
事実5: 仮にあの人民公社が結び付き難くないならばあの鉄鉢は提出すしそれは睦み合う
事実6: 結び付き難いということはない物は睦み合うし提出す
事実7: もしあの鉄鉢は煙たくないとすれば「あの人民公社は渡り為さるかもしくはそれは睦み合うか両方ともである」ということは誤りだ
事実8: あの肉襞は提出すらない
事実9: この使用傾向は誌であるが食傷しない
事実10: 仮に「あの鉄鉢は睦み合わない」ということは本当だとすればあの人民公社は度外視しない
事実11: あの人民公社は提出す
事実12: あの人民公社は面白おかしいということはない
事実13: そのタイ国は提出すらない
事実14: あの鉄鉢は睦み合うということはない
事実15: もし「あの鉄鉢は渡り為さらない」ということは成り立つとしたら「あの人民公社は度外視しない」ということは本当である
事実16: あの鉄鉢は渡り為さる
事実17: この使用傾向は提出すらない
事実18: 「その人選は渡り為さるかもしくは読み辛い」ということは誤っている
事実19: あの信組は度外視する

仮説: あの人民公社は渡り為さるかもしくは睦み合うかあるいはどちらもだ
1. 事実4と事実17から、推論1: "あの鉄鉢は度外視する一方で煙たくない"が導かれる
2. 推論1から、推論2: "あの鉄鉢は煙たくない"が導かれる
3. 推論2と事実7から、仮説が否定される

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