その研究家達は哀れっぽい
fact1: 「「滑れないが跳ね上げる」ということは事実と異なる」物があるならあの大白檜曾は選択し直す fact2: 「あの大白檜曾は哀れっぽいということはない」ということは事実であるとするとその研究家達は四角いがしかし哀れっぽくない fact3: もしもとある物は七十二ページ参照でないなら「それは悪くないかもしくは選択し直しないかあるいは両方だ」ということは事実と異なる fact4: 「あのケーブルテレビは滑れないけれど跳ね上げる」ということは成り立たない fact5: もし仮に「何らかの物は選択し直すしその上哀れっぽい」ということは成り立つとすればそれは悪くない fact6: 四角いものが昇順だということはないとすればそれは七十二ページ参照でない fact7: あの大白檜曾は悪いし七十二ページ参照だ fact8: 合わせ易くない物は四角いが昇順でない
fact4 -> int1: 「「滑れるということはないけれど跳ね上げる」ということは事実と異なる」ものはある; int1 & fact1 -> int2: あの大白檜曾は選択し直す; void -> assump1: 以下のように仮定する。あの大白檜曾は哀れっぽい; int2 & assump1 -> int3: あの大白檜曾は選択し直すしさらに哀れっぽい; fact5 -> int4: もし仮に「あの大白檜曾は選択し直すししかも哀れっぽい」ということは真実だとするとそれは悪いということはない; int3 & int4 -> int5: あの大白檜曾は悪くない; fact7 -> int6: あの大白檜曾は悪い; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの大白檜曾は哀れっぽくない; int8 & fact2 -> int9: その研究家達は四角いけれど哀れっぽくない; int9 -> hypothesis;
その研究家達は哀れっぽい
fact10 -> int10: もしもその研究家達は七十二ページ参照だということはないなら「悪くないかまたは選択し直しないかあるいはどちらもである」ということは間違いである; fact11 -> int11: もし「その研究家達は四角いけど昇順でない」ということは成り立てばそれは七十二ページ参照だということはない; fact9 -> int12: もしその研究家達が合わせ易くないとするとそれは四角くてそれに昇順であるということはない;
$facts$ = fact1: 「「滑れないが跳ね上げる」ということは事実と異なる」物があるならあの大白檜曾は選択し直す fact2: 「あの大白檜曾は哀れっぽいということはない」ということは事実であるとするとその研究家達は四角いがしかし哀れっぽくない fact3: もしもとある物は七十二ページ参照でないなら「それは悪くないかもしくは選択し直しないかあるいは両方だ」ということは事実と異なる fact4: 「あのケーブルテレビは滑れないけれど跳ね上げる」ということは成り立たない fact5: もし仮に「何らかの物は選択し直すしその上哀れっぽい」ということは成り立つとすればそれは悪くない fact6: 四角いものが昇順だということはないとすればそれは七十二ページ参照でない fact7: あの大白檜曾は悪いし七十二ページ参照だ fact8: 合わせ易くない物は四角いが昇順でない ; $hypothesis$ = その研究家達は哀れっぽい ; $proof$ = 
fact4 -> int1: 「「滑れるということはないけれど跳ね上げる」ということは事実と異なる」ものはある; int1 & fact1 -> int2: あの大白檜曾は選択し直す; void -> assump1: 以下のように仮定する。あの大白檜曾は哀れっぽい; int2 & assump1 -> int3: あの大白檜曾は選択し直すしさらに哀れっぽい; fact5 -> int4: もし仮に「あの大白檜曾は選択し直すししかも哀れっぽい」ということは真実だとするとそれは悪いということはない; int3 & int4 -> int5: あの大白檜曾は悪くない; fact7 -> int6: あの大白檜曾は悪い; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの大白檜曾は哀れっぽくない; int8 & fact2 -> int9: その研究家達は四角いけれど哀れっぽくない; int9 -> hypothesis; __DISPROVED__
事実1: 「「滑れないが跳ね上げる」ということは事実と異なる」物があるならあの大白檜曾は選択し直す
事実2: 「あの大白檜曾は哀れっぽいということはない」ということは事実であるとするとその研究家達は四角いがしかし哀れっぽくない
事実3: もしもとある物は七十二ページ参照でないなら「それは悪くないかもしくは選択し直しないかあるいは両方だ」ということは事実と異なる
事実4: 「あのケーブルテレビは滑れないけれど跳ね上げる」ということは成り立たない
事実5: もし仮に「何らかの物は選択し直すしその上哀れっぽい」ということは成り立つとすればそれは悪くない
事実6: 四角いものが昇順だということはないとすればそれは七十二ページ参照でない
事実7: あの大白檜曾は悪いし七十二ページ参照だ
事実8: 合わせ易くない物は四角いが昇順でない

仮説: その研究家達は哀れっぽい
1. 事実4から、推論1: "「「滑れるということはないけれど跳ね上げる」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実1から、推論2: "あの大白檜曾は選択し直す"が導かれる
3. 仮定1: 以下のように仮定する。あの大白檜曾は哀れっぽい
4. 推論2と仮定1から、推論3: "あの大白檜曾は選択し直すしさらに哀れっぽい"が導かれる
5. 事実5から、推論4: "もし仮に「あの大白檜曾は選択し直すししかも哀れっぽい」ということは真実だとするとそれは悪いということはない"が導かれる
6. 推論3と推論4から、推論5: "あの大白檜曾は悪くない"が導かれる
7. 事実7から、推論6: "あの大白檜曾は悪い"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの大白檜曾は哀れっぽくない"が導かれる
10. 推論8と事実2から、推論9: "その研究家達は四角いけれど哀れっぽくない"が導かれる
11. 推論9から、仮説が否定される

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