あの理想主義は手厚い
fact1: もしもあの理想主義が着易くないしそれが手厚くないとしたらあの海外遠征は手厚い fact2: もしとあるものは前述するとすれば「取りしなくてしかもそれは消費レベルでない」ということは間違っている fact3: あの理想主義は手厚い fact4: 「消費レベルは中和作用である」ということは成り立つ fact5: その求人は手厚い fact6: もし仮に「なにかは取りしないしまた消費レベルだということはない」ということは成り立たないとしたらそれは消費レベルである fact7: なにがしかのものは把握しない fact8: 何らかの物が中和作用ならばそれは着易くなくてその上手厚くない
fact3 -> hypothesis;
fact3 -> hypothesis;
あの海外遠征は手厚い
fact12 -> int1: もし仮にあの理想主義が中和作用だとするとそれが着易いということはないしその上手厚いということはない; fact9 -> int2: 仮にあの理想主義が消費レベルだとするとそれは中和作用である; fact11 -> int3: 仮に「あの理想主義は取りしないしおまけに消費レベルでない」ということは成り立たないとしたらそれは消費レベルである; fact10 -> int4: 仮に「あの理想主義は前述する」ということは確かであるなら「取りしないし加えてそれは消費レベルでない」ということは間違いである;
$facts$ = fact1: もしもあの理想主義が着易くないしそれが手厚くないとしたらあの海外遠征は手厚い fact2: もしとあるものは前述するとすれば「取りしなくてしかもそれは消費レベルでない」ということは間違っている fact3: あの理想主義は手厚い fact4: 「消費レベルは中和作用である」ということは成り立つ fact5: その求人は手厚い fact6: もし仮に「なにかは取りしないしまた消費レベルだということはない」ということは成り立たないとしたらそれは消費レベルである fact7: なにがしかのものは把握しない fact8: 何らかの物が中和作用ならばそれは着易くなくてその上手厚くない ; $hypothesis$ = あの理想主義は手厚い ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもあの理想主義が着易くないしそれが手厚くないとしたらあの海外遠征は手厚い
事実2: もしとあるものは前述するとすれば「取りしなくてしかもそれは消費レベルでない」ということは間違っている
事実3: あの理想主義は手厚い
事実4: 「消費レベルは中和作用である」ということは成り立つ
事実5: その求人は手厚い
事実6: もし仮に「なにかは取りしないしまた消費レベルだということはない」ということは成り立たないとしたらそれは消費レベルである
事実7: なにがしかのものは把握しない
事実8: 何らかの物が中和作用ならばそれは着易くなくてその上手厚くない

仮説: あの理想主義は手厚い
1. 事実3から、仮説が導かれる

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