あの掃討戦は行末でない
fact1: 「「担ぎ込むししかも動力織機である」物はある」ということは真実なら「「あの団体旅行は転業しない」ということは確かだ」ということは事実でない fact2: 濃い物は自分らしくないか対象物であるか両方だ fact3: もしもなにがしかのものは対象物でないならばそれは行末であるしさらにそれは自分らしい fact4: あの掃討戦は濃い fact5: もしあの彼女形が賛美すればあの掃討戦は賛美する fact6: もしも「転業する」物があるとしたらあの彼女形は濃いし賛美する fact7: 仮にその戦間期が飲み足りるがしょぼくないとすると動力織機である fact8: その四病院は行末である fact9: あの掃討戦は行末だ fact10: その戦間期は飲み足りるがしかししょぼくない fact11: その戦間期が中途退学するなら担ぎ込む fact12: その戦間期は中途退学する
fact9 -> hypothesis;
fact9 -> hypothesis;
その紀は行末である
fact13 -> int1: もしその紀は対象物でないとするとそれは行末だし自分らしい;
$facts$ = fact1: 「「担ぎ込むししかも動力織機である」物はある」ということは真実なら「「あの団体旅行は転業しない」ということは確かだ」ということは事実でない fact2: 濃い物は自分らしくないか対象物であるか両方だ fact3: もしもなにがしかのものは対象物でないならばそれは行末であるしさらにそれは自分らしい fact4: あの掃討戦は濃い fact5: もしあの彼女形が賛美すればあの掃討戦は賛美する fact6: もしも「転業する」物があるとしたらあの彼女形は濃いし賛美する fact7: 仮にその戦間期が飲み足りるがしょぼくないとすると動力織機である fact8: その四病院は行末である fact9: あの掃討戦は行末だ fact10: その戦間期は飲み足りるがしかししょぼくない fact11: その戦間期が中途退学するなら担ぎ込む fact12: その戦間期は中途退学する ; $hypothesis$ = あの掃討戦は行末でない ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: 「「担ぎ込むししかも動力織機である」物はある」ということは真実なら「「あの団体旅行は転業しない」ということは確かだ」ということは事実でない
事実2: 濃い物は自分らしくないか対象物であるか両方だ
事実3: もしもなにがしかのものは対象物でないならばそれは行末であるしさらにそれは自分らしい
事実4: あの掃討戦は濃い
事実5: もしあの彼女形が賛美すればあの掃討戦は賛美する
事実6: もしも「転業する」物があるとしたらあの彼女形は濃いし賛美する
事実7: 仮にその戦間期が飲み足りるがしょぼくないとすると動力織機である
事実8: その四病院は行末である
事実9: あの掃討戦は行末だ
事実10: その戦間期は飲み足りるがしかししょぼくない
事実11: その戦間期が中途退学するなら担ぎ込む
事実12: その戦間期は中途退学する

仮説: あの掃討戦は行末でない
1. 事実9から、仮説が否定される

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