そのペンギンは高しない
fact1: もしその黒人兵がシフトしないならばそのペンギンは油っぽいしそれは高し fact2: この宅地造成等規制法は油っぽくない fact3: 仮に何らかのものがシフトしないならば油っぽい fact4: 「その黒人兵は誇りっぽくない」ということは成り立つ fact5: もしその黒人兵が油っぽくないならそのペンギンは高し物であってまたシフトする fact6: そのペンギンはシフトする fact7: あるものが書かないとするとシフトしないし加えてそれは叩き潰す fact8: そのペンギンがシフトしないとするとその黒人兵は油っぽい fact9: なにがしかのものは所在しなくて平たくないならばそれは書かない fact10: その黒人兵はシフトしない fact11: もしもその黒人兵が最終決戦ならばこの襟飾りは所在しなくてそれに平たくない fact12: この斬奸は油っぽい fact13: その黒人兵は油っぽい fact14: もしも「その黒人兵は高しない」ということは正しいならばそのペンギンはシフトする fact15: もし仮にそのペンギンがシフトしないとすればその黒人兵は高し fact16: もし仮にそのペンギンが育ち難くないならばあの黒人兵は最終決戦だ
fact1 & fact10 -> int1: そのペンギンは油っぽいししかも高し; int1 -> hypothesis;
fact1 & fact10 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis;
「この襟飾りは油っぽい」ということは成り立つ
fact19 -> int2: もしこの襟飾りがシフトするということはないなら油っぽい; fact18 -> int3: もしもこの襟飾りが書くということはないとすればシフトしなくて更に叩き潰す; fact17 -> int4: もし仮にこの襟飾りは所在するということはないしかつ平たくないとしたらそれは書かない;
$facts$ = fact1: もしその黒人兵がシフトしないならばそのペンギンは油っぽいしそれは高し fact2: この宅地造成等規制法は油っぽくない fact3: 仮に何らかのものがシフトしないならば油っぽい fact4: 「その黒人兵は誇りっぽくない」ということは成り立つ fact5: もしその黒人兵が油っぽくないならそのペンギンは高し物であってまたシフトする fact6: そのペンギンはシフトする fact7: あるものが書かないとするとシフトしないし加えてそれは叩き潰す fact8: そのペンギンがシフトしないとするとその黒人兵は油っぽい fact9: なにがしかのものは所在しなくて平たくないならばそれは書かない fact10: その黒人兵はシフトしない fact11: もしもその黒人兵が最終決戦ならばこの襟飾りは所在しなくてそれに平たくない fact12: この斬奸は油っぽい fact13: その黒人兵は油っぽい fact14: もしも「その黒人兵は高しない」ということは正しいならばそのペンギンはシフトする fact15: もし仮にそのペンギンがシフトしないとすればその黒人兵は高し fact16: もし仮にそのペンギンが育ち難くないならばあの黒人兵は最終決戦だ ; $hypothesis$ = そのペンギンは高しない ; $proof$ = 
fact1 & fact10 -> int1: そのペンギンは油っぽいししかも高し; int1 -> hypothesis; __DISPROVED__
事実1: もしその黒人兵がシフトしないならばそのペンギンは油っぽいしそれは高し
事実2: この宅地造成等規制法は油っぽくない
事実3: 仮に何らかのものがシフトしないならば油っぽい
事実4: 「その黒人兵は誇りっぽくない」ということは成り立つ
事実5: もしその黒人兵が油っぽくないならそのペンギンは高し物であってまたシフトする
事実6: そのペンギンはシフトする
事実7: あるものが書かないとするとシフトしないし加えてそれは叩き潰す
事実8: そのペンギンがシフトしないとするとその黒人兵は油っぽい
事実9: なにがしかのものは所在しなくて平たくないならばそれは書かない
事実10: その黒人兵はシフトしない
事実11: もしもその黒人兵が最終決戦ならばこの襟飾りは所在しなくてそれに平たくない
事実12: この斬奸は油っぽい
事実13: その黒人兵は油っぽい
事実14: もしも「その黒人兵は高しない」ということは正しいならばそのペンギンはシフトする
事実15: もし仮にそのペンギンがシフトしないとすればその黒人兵は高し
事実16: もし仮にそのペンギンが育ち難くないならばあの黒人兵は最終決戦だ

仮説: そのペンギンは高しない
1. 事実1と事実10から、推論1: "そのペンギンは油っぽいししかも高し"が導かれる
2. 推論1から、仮説が否定される

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