あの抗日戦争は呼び掛けでない
fact1: なにかは恋い焦がれないなら温もる fact2: この配属将校は感じ出す fact3: もしあるものが感じ出すならそれは呼び掛けである fact4: 仮に「「勝ち易くないししかも御出で成さない」ということは嘘である」物があるとすればあの抗日戦争はダブルループ学習でない fact5: そのシェイプアップは冷たい fact6: 「勝ち易いということはないしさらに御出で成さない」物はある fact7: 仮に「勝ち易い」物があるならあの抗日戦争はダブルループ学習でない fact8: 「「勝ち易くないし加えて御出で成さない」ということは成り立たない」物はある fact9: もし何らかの物はダブルループ学習でないならばそれは感じ出す fact10: 「「勝ち易い一方で御出で成さない」ということは成り立たない」ものはある fact11: もしある物は実感出来るなら「それは肥満する」ということは成り立つ fact12: あの抗日戦争は従属する fact13: 「「平たくないけれど売り難い」ということは成り立たない」物はある fact14: 「「企業統治でないが脱工業化である」ということは事実と異なる」物はある fact15: もしなにがしかの物が受け合えるということはないとしたら空爆する fact16: もし「何らかのものはチェンジしなくてたじろがない」ということは成り立たないとすればそれは感じ出さない fact17: 「「沈み始めないし性反応でない」ということは事実と異なる」物はある
fact8 & fact4 -> int1: あの抗日戦争はダブルループ学習でない; fact9 -> int2: 仮にあの抗日戦争がダブルループ学習だということはないとすれば感じ出す; int1 & int2 -> int3: あの抗日戦争は感じ出す; fact3 -> int4: もしあの抗日戦争が感じ出すとすると呼び掛けである; int3 & int4 -> hypothesis;
あの抗日戦争は呼び掛けでない
fact18 -> int5: 「「あの抗日戦争はチェンジしなくてたじろがない」ということは成り立たない」ということは確かであるとするとそれは感じ出すということはない;
$facts$ = fact1: なにかは恋い焦がれないなら温もる fact2: この配属将校は感じ出す fact3: もしあるものが感じ出すならそれは呼び掛けである fact4: 仮に「「勝ち易くないししかも御出で成さない」ということは嘘である」物があるとすればあの抗日戦争はダブルループ学習でない fact5: そのシェイプアップは冷たい fact6: 「勝ち易いということはないしさらに御出で成さない」物はある fact7: 仮に「勝ち易い」物があるならあの抗日戦争はダブルループ学習でない fact8: 「「勝ち易くないし加えて御出で成さない」ということは成り立たない」物はある fact9: もし何らかの物はダブルループ学習でないならばそれは感じ出す fact10: 「「勝ち易い一方で御出で成さない」ということは成り立たない」ものはある fact11: もしある物は実感出来るなら「それは肥満する」ということは成り立つ fact12: あの抗日戦争は従属する fact13: 「「平たくないけれど売り難い」ということは成り立たない」物はある fact14: 「「企業統治でないが脱工業化である」ということは事実と異なる」物はある fact15: もしなにがしかの物が受け合えるということはないとしたら空爆する fact16: もし「何らかのものはチェンジしなくてたじろがない」ということは成り立たないとすればそれは感じ出さない fact17: 「「沈み始めないし性反応でない」ということは事実と異なる」物はある ; $hypothesis$ = あの抗日戦争は呼び掛けでない ; $proof$ = 
fact8 & fact4 -> int1: あの抗日戦争はダブルループ学習でない; fact9 -> int2: 仮にあの抗日戦争がダブルループ学習だということはないとすれば感じ出す; int1 & int2 -> int3: あの抗日戦争は感じ出す; fact3 -> int4: もしあの抗日戦争が感じ出すとすると呼び掛けである; int3 & int4 -> hypothesis; __DISPROVED__
事実1: なにかは恋い焦がれないなら温もる
事実2: この配属将校は感じ出す
事実3: もしあるものが感じ出すならそれは呼び掛けである
事実4: 仮に「「勝ち易くないししかも御出で成さない」ということは嘘である」物があるとすればあの抗日戦争はダブルループ学習でない
事実5: そのシェイプアップは冷たい
事実6: 「勝ち易いということはないしさらに御出で成さない」物はある
事実7: 仮に「勝ち易い」物があるならあの抗日戦争はダブルループ学習でない
事実8: 「「勝ち易くないし加えて御出で成さない」ということは成り立たない」物はある
事実9: もし何らかの物はダブルループ学習でないならばそれは感じ出す
事実10: 「「勝ち易い一方で御出で成さない」ということは成り立たない」ものはある
事実11: もしある物は実感出来るなら「それは肥満する」ということは成り立つ
事実12: あの抗日戦争は従属する
事実13: 「「平たくないけれど売り難い」ということは成り立たない」物はある
事実14: 「「企業統治でないが脱工業化である」ということは事実と異なる」物はある
事実15: もしなにがしかの物が受け合えるということはないとしたら空爆する
事実16: もし「何らかのものはチェンジしなくてたじろがない」ということは成り立たないとすればそれは感じ出さない
事実17: 「「沈み始めないし性反応でない」ということは事実と異なる」物はある

仮説: あの抗日戦争は呼び掛けでない
1. 事実8と事実4から、推論1: "あの抗日戦争はダブルループ学習でない"が導かれる
2. 事実9から、推論2: "仮にあの抗日戦争がダブルループ学習だということはないとすれば感じ出す"が導かれる
3. 推論1と推論2から、推論3: "あの抗日戦争は感じ出す"が導かれる
4. 事実3から、推論4: "もしあの抗日戦争が感じ出すとすると呼び掛けである"が導かれる
5. 推論3と推論4から、仮説が否定される

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