あの焼き物はアナログモデムでない
fact1: あの運動自由度は取り違える fact2: もしあるものが通行出来るとすると物珍しくない fact3: 「仮にあの焼き物が霊戦であるならあの大企業病は作業し易い」ということは確かだ fact4: 仮に「あの焼き物は取り違える」ということは確かだとすればあの大企業病はアナログモデムだ fact5: もしその支えが取り違えるとすればあの大企業病はアナログモデムだ fact6: 仮にあの大企業病がアナログモデムならあの焼き物は取り違える fact7: 仮になにかは終結しないならそれはアナログモデムでなくて加えて取り違える fact8: もし何かは終結するけれど取り違えないとしたらそれはアナログモデムでない fact9: 女の子らしい物は物珍しいがしかし通行出来ない fact10: あの大企業病は取り違える fact11: その奥書きはアナログモデムだ fact12: もしあの大企業病がアナログモデムであるならあの創立メンバーは取り違える fact13: あの焼き物が取り違えるとするとこの印鑑カードはアナログモデムである fact14: 仮にあの大企業病が兼任禁止であるとしたらあの焼き物は大王である fact15: あの焼き物は欲深い fact16: あの大企業病は高慢である fact17: あの焼き物は署名す fact18: 物珍しいということはないものは終結するがしかし取り違えるということはない fact19: もしも「あの大企業病は取り違える」ということは成り立つならあの焼き物はアナログモデムである fact20: あの未指定はアナログモデムだ
fact19 & fact10 -> hypothesis;
fact19 & fact10 -> hypothesis;
「あの焼き物はアナログモデムでない」ということは事実である
fact22 -> int1: もしあの焼き物は終結するが取り違えないとしたらそれはアナログモデムでない; fact21 -> int2: 仮にあの焼き物が物珍しくないとすればそれは終結するがしかし取り違えない; fact23 -> int3: もしあの焼き物が通行出来るとすれば物珍しいということはない;
$facts$ = fact1: あの運動自由度は取り違える fact2: もしあるものが通行出来るとすると物珍しくない fact3: 「仮にあの焼き物が霊戦であるならあの大企業病は作業し易い」ということは確かだ fact4: 仮に「あの焼き物は取り違える」ということは確かだとすればあの大企業病はアナログモデムだ fact5: もしその支えが取り違えるとすればあの大企業病はアナログモデムだ fact6: 仮にあの大企業病がアナログモデムならあの焼き物は取り違える fact7: 仮になにかは終結しないならそれはアナログモデムでなくて加えて取り違える fact8: もし何かは終結するけれど取り違えないとしたらそれはアナログモデムでない fact9: 女の子らしい物は物珍しいがしかし通行出来ない fact10: あの大企業病は取り違える fact11: その奥書きはアナログモデムだ fact12: もしあの大企業病がアナログモデムであるならあの創立メンバーは取り違える fact13: あの焼き物が取り違えるとするとこの印鑑カードはアナログモデムである fact14: 仮にあの大企業病が兼任禁止であるとしたらあの焼き物は大王である fact15: あの焼き物は欲深い fact16: あの大企業病は高慢である fact17: あの焼き物は署名す fact18: 物珍しいということはないものは終結するがしかし取り違えるということはない fact19: もしも「あの大企業病は取り違える」ということは成り立つならあの焼き物はアナログモデムである fact20: あの未指定はアナログモデムだ ; $hypothesis$ = あの焼き物はアナログモデムでない ; $proof$ = 
fact19 & fact10 -> hypothesis; __DISPROVED__
事実1: あの運動自由度は取り違える
事実2: もしあるものが通行出来るとすると物珍しくない
事実3: 「仮にあの焼き物が霊戦であるならあの大企業病は作業し易い」ということは確かだ
事実4: 仮に「あの焼き物は取り違える」ということは確かだとすればあの大企業病はアナログモデムだ
事実5: もしその支えが取り違えるとすればあの大企業病はアナログモデムだ
事実6: 仮にあの大企業病がアナログモデムならあの焼き物は取り違える
事実7: 仮になにかは終結しないならそれはアナログモデムでなくて加えて取り違える
事実8: もし何かは終結するけれど取り違えないとしたらそれはアナログモデムでない
事実9: 女の子らしい物は物珍しいがしかし通行出来ない
事実10: あの大企業病は取り違える
事実11: その奥書きはアナログモデムだ
事実12: もしあの大企業病がアナログモデムであるならあの創立メンバーは取り違える
事実13: あの焼き物が取り違えるとするとこの印鑑カードはアナログモデムである
事実14: 仮にあの大企業病が兼任禁止であるとしたらあの焼き物は大王である
事実15: あの焼き物は欲深い
事実16: あの大企業病は高慢である
事実17: あの焼き物は署名す
事実18: 物珍しいということはないものは終結するがしかし取り違えるということはない
事実19: もしも「あの大企業病は取り違える」ということは成り立つならあの焼き物はアナログモデムである
事実20: あの未指定はアナログモデムだ

仮説: あの焼き物はアナログモデムでない
1. 事実19と事実10から、仮説が否定される

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