「その軽躁状態は海外事業部でないがしかし散策する」ということは嘘である
fact1: 学校関係者は引き摺り上げるということはないがしかし塩分だ fact2: もし仮にあの落とし格子戸が散策するしそれに生白いとするとこの間広は海外事業部でない fact3: その軽躁状態は日本内地だ fact4: 「あの落とし格子戸は返品する」ということは成り立つとしたら「その軽躁状態は散策する」ということは間違っていない fact5: なんらかのものは誘き寄せない fact6: あの落とし格子戸は散策する fact7: もし仮にその軽躁状態が住まわすとしたらあの落とし格子戸は散策する fact8: もしもその軽躁状態は日本内地であるならそれは住まわす fact9: もし仮にあの落とし格子戸が返品するとすればその軽躁状態は海外事業部でないけれど散策する fact10: 「あの落とし格子戸は学校関係者でそれに返品する」ということは成り立つ fact11: もし仮に何らかのものは学校関係者であるとしたら「それは海外事業部でないが散策する」ということは間違っている
fact10 -> int1: あの落とし格子戸は返品する; int1 & fact9 -> hypothesis;
この間広は引き摺り上げるということはない一方で塩分である
fact14 -> int2: もしもこの間広は学校関係者であるならば引き摺り上げない一方で塩分である; fact17 & fact13 -> int3: その軽躁状態は住まわす; fact12 & int3 -> int4: あの落とし格子戸は散策する;
$facts$ = fact1: 学校関係者は引き摺り上げるということはないがしかし塩分だ fact2: もし仮にあの落とし格子戸が散策するしそれに生白いとするとこの間広は海外事業部でない fact3: その軽躁状態は日本内地だ fact4: 「あの落とし格子戸は返品する」ということは成り立つとしたら「その軽躁状態は散策する」ということは間違っていない fact5: なんらかのものは誘き寄せない fact6: あの落とし格子戸は散策する fact7: もし仮にその軽躁状態が住まわすとしたらあの落とし格子戸は散策する fact8: もしもその軽躁状態は日本内地であるならそれは住まわす fact9: もし仮にあの落とし格子戸が返品するとすればその軽躁状態は海外事業部でないけれど散策する fact10: 「あの落とし格子戸は学校関係者でそれに返品する」ということは成り立つ fact11: もし仮に何らかのものは学校関係者であるとしたら「それは海外事業部でないが散策する」ということは間違っている ; $hypothesis$ = 「その軽躁状態は海外事業部でないがしかし散策する」ということは嘘である ; $proof$ = 
fact10 -> int1: あの落とし格子戸は返品する; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: 学校関係者は引き摺り上げるということはないがしかし塩分だ
事実2: もし仮にあの落とし格子戸が散策するしそれに生白いとするとこの間広は海外事業部でない
事実3: その軽躁状態は日本内地だ
事実4: 「あの落とし格子戸は返品する」ということは成り立つとしたら「その軽躁状態は散策する」ということは間違っていない
事実5: なんらかのものは誘き寄せない
事実6: あの落とし格子戸は散策する
事実7: もし仮にその軽躁状態が住まわすとしたらあの落とし格子戸は散策する
事実8: もしもその軽躁状態は日本内地であるならそれは住まわす
事実9: もし仮にあの落とし格子戸が返品するとすればその軽躁状態は海外事業部でないけれど散策する
事実10: 「あの落とし格子戸は学校関係者でそれに返品する」ということは成り立つ
事実11: もし仮に何らかのものは学校関係者であるとしたら「それは海外事業部でないが散策する」ということは間違っている

仮説: 「その軽躁状態は海外事業部でないがしかし散策する」ということは嘘である
1. 事実10から、推論1: "あの落とし格子戸は返品する"が導かれる
2. 推論1と事実9から、仮説が否定される

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