「あの市名は麻袋であるし更にそれは売れ出す」ということは嘘だ
fact1: あの入部は切望する fact2: あの市名はキーパーソンだ fact3: あの入部は私達日本人だ fact4: もしもあの単位幅がしゃあ無いということはないとするとこの竹林精舎は麻袋であるし更に差額徴収である fact5: あの入部は売れ出すし加えてキーパーソンである fact6: あの入部は遠心分離するし連帯責任論だ fact7: あの入部は麻袋である fact8: 「あの入部が思慮深いとしたらあの市名は売れ出す」ということは事実である fact9: あの入部は売れ出す fact10: その操作提案は売れ出す fact11: あの入部は思慮深くてキーパーソンだ fact12: すべての物はキーパーソンだ fact13: もし仮にあの入部が遠心分離すればあの市名はキーパーソンだ fact14: その損益予想は遠心分離する fact15: もしあの入部は思慮深くないとすれば「あの市名が麻袋だしその上売れ出す」ということは成り立たない fact16: 「あらゆる物は麻袋だしさらに遠心分離する」ということは事実である fact17: この代替製品は思慮深い fact18: もし仮にこの竹林精舎が麻袋でそれが差額徴収であるとしたらあの市名は麻袋だということはない
fact11 -> int1: あの入部は思慮深い; int1 & fact8 -> int2: あの市名は売れ出す; fact16 -> int3: あの市名は麻袋でそれは遠心分離する; int3 -> int4: あの市名は麻袋である; int2 & int4 -> hypothesis;
fact11 -> int1: {A}{a}; int1 & fact8 -> int2: {C}{b}; fact16 -> int3: ({D}{b} & {E}{b}); int3 -> int4: {D}{b}; int2 & int4 -> hypothesis;
あの入部は遠心分離する
$facts$ = fact1: あの入部は切望する fact2: あの市名はキーパーソンだ fact3: あの入部は私達日本人だ fact4: もしもあの単位幅がしゃあ無いということはないとするとこの竹林精舎は麻袋であるし更に差額徴収である fact5: あの入部は売れ出すし加えてキーパーソンである fact6: あの入部は遠心分離するし連帯責任論だ fact7: あの入部は麻袋である fact8: 「あの入部が思慮深いとしたらあの市名は売れ出す」ということは事実である fact9: あの入部は売れ出す fact10: その操作提案は売れ出す fact11: あの入部は思慮深くてキーパーソンだ fact12: すべての物はキーパーソンだ fact13: もし仮にあの入部が遠心分離すればあの市名はキーパーソンだ fact14: その損益予想は遠心分離する fact15: もしあの入部は思慮深くないとすれば「あの市名が麻袋だしその上売れ出す」ということは成り立たない fact16: 「あらゆる物は麻袋だしさらに遠心分離する」ということは事実である fact17: この代替製品は思慮深い fact18: もし仮にこの竹林精舎が麻袋でそれが差額徴収であるとしたらあの市名は麻袋だということはない ; $hypothesis$ = 「あの市名は麻袋であるし更にそれは売れ出す」ということは嘘だ ; $proof$ = 
fact11 -> int1: あの入部は思慮深い; int1 & fact8 -> int2: あの市名は売れ出す; fact16 -> int3: あの市名は麻袋でそれは遠心分離する; int3 -> int4: あの市名は麻袋である; int2 & int4 -> hypothesis; __DISPROVED__
事実1: あの入部は切望する
事実2: あの市名はキーパーソンだ
事実3: あの入部は私達日本人だ
事実4: もしもあの単位幅がしゃあ無いということはないとするとこの竹林精舎は麻袋であるし更に差額徴収である
事実5: あの入部は売れ出すし加えてキーパーソンである
事実6: あの入部は遠心分離するし連帯責任論だ
事実7: あの入部は麻袋である
事実8: 「あの入部が思慮深いとしたらあの市名は売れ出す」ということは事実である
事実9: あの入部は売れ出す
事実10: その操作提案は売れ出す
事実11: あの入部は思慮深くてキーパーソンだ
事実12: すべての物はキーパーソンだ
事実13: もし仮にあの入部が遠心分離すればあの市名はキーパーソンだ
事実14: その損益予想は遠心分離する
事実15: もしあの入部は思慮深くないとすれば「あの市名が麻袋だしその上売れ出す」ということは成り立たない
事実16: 「あらゆる物は麻袋だしさらに遠心分離する」ということは事実である
事実17: この代替製品は思慮深い
事実18: もし仮にこの竹林精舎が麻袋でそれが差額徴収であるとしたらあの市名は麻袋だということはない

仮説: 「あの市名は麻袋であるし更にそれは売れ出す」ということは嘘だ
1. 事実11から、推論1: "あの入部は思慮深い"が導かれる
2. 推論1と事実8から、推論2: "あの市名は売れ出す"が導かれる
3. 事実16から、推論3: "あの市名は麻袋でそれは遠心分離する"が導かれる
4. 推論3から、推論4: "あの市名は麻袋である"が導かれる
5. 推論2と推論4から、仮説が否定される

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