この左眉は懐こくない
fact1: すべての物は大人しくない fact2: みっともなくない物はある fact3: この第八航空軍が着続けるならばあの後入れ先出法は悲しむ fact4: 何らかの物は着続ける一方でそれはみっともなくない fact5: 「なにがしかのものは着続けなくてみっともなくない」ということは嘘であるならば懐こいということはない fact6: なにがしかのものが着続けなくてしかもみっともなくないとすればこの第八航空軍は悲しまない fact7: もしも「着続けるということはない一方でみっともない」ものがあるとすればこの第八航空軍は悲しまない fact8: もし仮にこの第八航空軍が悲しまないならばあの副会長は悲しむ fact9: 仮にこの第八航空軍が悲しむということはないとすればあの副会長は行動推論課題でないけれどそれは悲しむ fact10: もしもあの副会長が行動推論課題でないけど悲しむとするとこの左眉は懐こい fact11: なにかは大人しくないとすれば「それは行動推論課題だし更にそれは身悶える」ということは嘘である fact12: 「着続けるということはないしさらにみっともなくない」物はある fact13: あの副会長は悲しむ
fact12 & fact6 -> int1: この第八航空軍は悲しまない; int1 & fact9 -> int2: あの副会長は行動推論課題でないけれど悲しむ; int2 & fact10 -> hypothesis;
fact12 & fact6 -> int1: ¬{C}{a}; int1 & fact9 -> int2: (¬{D}{b} & {C}{b}); int2 & fact10 -> hypothesis;
この左眉は懐こくない
fact14 -> int3: もし「この左眉は着続けなくてみっともなくない」ということは嘘であるならそれは懐こくない; fact16 -> int4: 仮にあの副会長は大人しくないとすると「それは行動推論課題であるしそれは身悶える」ということは成り立たない; fact15 -> int5: あの副会長は大人しくない; int4 & int5 -> int6: 「あの副会長は行動推論課題であるしそれに身悶える」ということは偽である; int6 -> int7: それは行動推論課題だししかも身悶えるという物はない; int7 -> int8: 「この第八航空軍は行動推論課題で加えてそれは身悶える」ということは嘘である; int8 -> int9: 「「行動推論課題であるししかも身悶える」ということは嘘である」ものはある;
$facts$ = fact1: すべての物は大人しくない fact2: みっともなくない物はある fact3: この第八航空軍が着続けるならばあの後入れ先出法は悲しむ fact4: 何らかの物は着続ける一方でそれはみっともなくない fact5: 「なにがしかのものは着続けなくてみっともなくない」ということは嘘であるならば懐こいということはない fact6: なにがしかのものが着続けなくてしかもみっともなくないとすればこの第八航空軍は悲しまない fact7: もしも「着続けるということはない一方でみっともない」ものがあるとすればこの第八航空軍は悲しまない fact8: もし仮にこの第八航空軍が悲しまないならばあの副会長は悲しむ fact9: 仮にこの第八航空軍が悲しむということはないとすればあの副会長は行動推論課題でないけれどそれは悲しむ fact10: もしもあの副会長が行動推論課題でないけど悲しむとするとこの左眉は懐こい fact11: なにかは大人しくないとすれば「それは行動推論課題だし更にそれは身悶える」ということは嘘である fact12: 「着続けるということはないしさらにみっともなくない」物はある fact13: あの副会長は悲しむ ; $hypothesis$ = この左眉は懐こくない ; $proof$ = 
fact12 & fact6 -> int1: この第八航空軍は悲しまない; int1 & fact9 -> int2: あの副会長は行動推論課題でないけれど悲しむ; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: すべての物は大人しくない
事実2: みっともなくない物はある
事実3: この第八航空軍が着続けるならばあの後入れ先出法は悲しむ
事実4: 何らかの物は着続ける一方でそれはみっともなくない
事実5: 「なにがしかのものは着続けなくてみっともなくない」ということは嘘であるならば懐こいということはない
事実6: なにがしかのものが着続けなくてしかもみっともなくないとすればこの第八航空軍は悲しまない
事実7: もしも「着続けるということはない一方でみっともない」ものがあるとすればこの第八航空軍は悲しまない
事実8: もし仮にこの第八航空軍が悲しまないならばあの副会長は悲しむ
事実9: 仮にこの第八航空軍が悲しむということはないとすればあの副会長は行動推論課題でないけれどそれは悲しむ
事実10: もしもあの副会長が行動推論課題でないけど悲しむとするとこの左眉は懐こい
事実11: なにかは大人しくないとすれば「それは行動推論課題だし更にそれは身悶える」ということは嘘である
事実12: 「着続けるということはないしさらにみっともなくない」物はある
事実13: あの副会長は悲しむ

仮説: この左眉は懐こくない
1. 事実12と事実6から、推論1: "この第八航空軍は悲しまない"が導かれる
2. 推論1と事実9から、推論2: "あの副会長は行動推論課題でないけれど悲しむ"が導かれる
3. 推論2と事実10から、仮説が否定される

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