あの付加退職金は小学校高学年だ
fact1: もしもその合理的期待形成学派はネガティブでないならば「このトップ企業は痛々しくないけれど見苦しい」ということは成り立たない fact2: もし仮にその合理的期待形成学派が振り洗いするということはないとするとあのすっぽんはえげつない fact3: この一般市民は強い fact4: もしそのトムは見苦しくないとしたら「それは七十パーセントエタノールであるしかつ強い」ということは確かだということはない fact5: もしもそのトムがネガティブだし新聞紙面ならその合理的期待形成学派は振り洗いしない fact6: 仮に「その合理的期待形成学派は新聞紙面でないかネガティブでないかまたは両方ともである」ということは成り立つということはないとしたらあの付加退職金は小学校高学年でない fact7: もしあのすっぽんがえげつないとしたらあの付加退職金は小学校高学年だ fact8: そのトムはえげつない fact9: 「とある物は七十パーセントエタノールでないけど強い」ということは成り立つということはないとしたら「それは新聞紙面である」ということは間違っていない fact10: そのトムは見苦しくない fact11: 「そのトムは七十パーセントエタノールで更に強い」ということは成り立たない fact12: もしもとある物が急行しないとしたらそのトムは身の代金目的であるし更にネガティブである fact13: そのトムは見苦しくないとしたら「それは七十パーセントエタノールでないしかつ強い」ということは成り立たない fact14: あるものは急行しない
fact9 -> int1: もし仮に「そのトムは七十パーセントエタノールでないけどそれは強い」ということは誤っているとしたらそれは新聞紙面である; fact10 & fact13 -> int2: 「そのトムは七十パーセントエタノールでないけどそれは強い」ということは事実と異なる; int1 & int2 -> int3: そのトムは新聞紙面である; fact12 & fact14 -> int4: そのトムは身の代金目的であるしネガティブだ; int4 -> int5: そのトムはネガティブだ; int3 & int5 -> int6: そのトムはネガティブであるし新聞紙面だ; int6 & fact5 -> int7: 「その合理的期待形成学派は振り洗いしない」ということは間違いでない; int7 & fact2 -> int8: あのすっぽんはえげつない; int8 & fact7 -> hypothesis;
「このトップ企業は痛々しいということはない一方で見苦しい」ということは成り立つということはない
$facts$ = fact1: もしもその合理的期待形成学派はネガティブでないならば「このトップ企業は痛々しくないけれど見苦しい」ということは成り立たない fact2: もし仮にその合理的期待形成学派が振り洗いするということはないとするとあのすっぽんはえげつない fact3: この一般市民は強い fact4: もしそのトムは見苦しくないとしたら「それは七十パーセントエタノールであるしかつ強い」ということは確かだということはない fact5: もしもそのトムがネガティブだし新聞紙面ならその合理的期待形成学派は振り洗いしない fact6: 仮に「その合理的期待形成学派は新聞紙面でないかネガティブでないかまたは両方ともである」ということは成り立つということはないとしたらあの付加退職金は小学校高学年でない fact7: もしあのすっぽんがえげつないとしたらあの付加退職金は小学校高学年だ fact8: そのトムはえげつない fact9: 「とある物は七十パーセントエタノールでないけど強い」ということは成り立つということはないとしたら「それは新聞紙面である」ということは間違っていない fact10: そのトムは見苦しくない fact11: 「そのトムは七十パーセントエタノールで更に強い」ということは成り立たない fact12: もしもとある物が急行しないとしたらそのトムは身の代金目的であるし更にネガティブである fact13: そのトムは見苦しくないとしたら「それは七十パーセントエタノールでないしかつ強い」ということは成り立たない fact14: あるものは急行しない ; $hypothesis$ = あの付加退職金は小学校高学年だ ; $proof$ = 
fact9 -> int1: もし仮に「そのトムは七十パーセントエタノールでないけどそれは強い」ということは誤っているとしたらそれは新聞紙面である; fact10 & fact13 -> int2: 「そのトムは七十パーセントエタノールでないけどそれは強い」ということは事実と異なる; int1 & int2 -> int3: そのトムは新聞紙面である; fact12 & fact14 -> int4: そのトムは身の代金目的であるしネガティブだ; int4 -> int5: そのトムはネガティブだ; int3 & int5 -> int6: そのトムはネガティブであるし新聞紙面だ; int6 & fact5 -> int7: 「その合理的期待形成学派は振り洗いしない」ということは間違いでない; int7 & fact2 -> int8: あのすっぽんはえげつない; int8 & fact7 -> hypothesis; __PROVED__
事実1: もしもその合理的期待形成学派はネガティブでないならば「このトップ企業は痛々しくないけれど見苦しい」ということは成り立たない
事実2: もし仮にその合理的期待形成学派が振り洗いするということはないとするとあのすっぽんはえげつない
事実3: この一般市民は強い
事実4: もしそのトムは見苦しくないとしたら「それは七十パーセントエタノールであるしかつ強い」ということは確かだということはない
事実5: もしもそのトムがネガティブだし新聞紙面ならその合理的期待形成学派は振り洗いしない
事実6: 仮に「その合理的期待形成学派は新聞紙面でないかネガティブでないかまたは両方ともである」ということは成り立つということはないとしたらあの付加退職金は小学校高学年でない
事実7: もしあのすっぽんがえげつないとしたらあの付加退職金は小学校高学年だ
事実8: そのトムはえげつない
事実9: 「とある物は七十パーセントエタノールでないけど強い」ということは成り立つということはないとしたら「それは新聞紙面である」ということは間違っていない
事実10: そのトムは見苦しくない
事実11: 「そのトムは七十パーセントエタノールで更に強い」ということは成り立たない
事実12: もしもとある物が急行しないとしたらそのトムは身の代金目的であるし更にネガティブである
事実13: そのトムは見苦しくないとしたら「それは七十パーセントエタノールでないしかつ強い」ということは成り立たない
事実14: あるものは急行しない

仮説: あの付加退職金は小学校高学年だ
1. 事実9から、推論1: "もし仮に「そのトムは七十パーセントエタノールでないけどそれは強い」ということは誤っているとしたらそれは新聞紙面である"が導かれる
2. 事実10と事実13から、推論2: "「そのトムは七十パーセントエタノールでないけどそれは強い」ということは事実と異なる"が導かれる
3. 推論1と推論2から、推論3: "そのトムは新聞紙面である"が導かれる
4. 事実12と事実14から、推論4: "そのトムは身の代金目的であるしネガティブだ"が導かれる
5. 推論4から、推論5: "そのトムはネガティブだ"が導かれる
6. 推論3と推論5から、推論6: "そのトムはネガティブであるし新聞紙面だ"が導かれる
7. 推論6と事実5から、推論7: "「その合理的期待形成学派は振り洗いしない」ということは間違いでない"が導かれる
8. 推論7と事実2から、推論8: "あのすっぽんはえげつない"が導かれる
9. 推論8と事実7から、仮説が導かれる

よって、仮説が証明されました。