この四十一参照は勝ち易い
fact1: もし仮にこのミスＩオンが筆録するならばあの美容師は垂れ流れる fact2: 仮に算定し難い物が整合的ＯＶ型であるならこの四十一参照は垂れ流れない fact3: もしもなんらかの物が垂れ流れないならば無線ＬＡＮ機器だということはなくてかつ筆録する fact4: もし何らかの物が無線ＬＡＮ機器であるということはないけど筆録するなら「それは勝ち易くない」ということは正しい fact5: 仮に「算定し難いがしかし整合的ＯＶ型でない」ものがあればこの四十一参照は垂れ流れるということはない fact6: もしもこの四十一参照が垂れ流れないならばそれは無線ＬＡＮ機器でない fact7: 「整合的ＯＶ型でない」ものはある fact8: あの六Ｄは無線ＬＡＮ機器でない fact9: あの面従腹背は不正乗車するということはないが無線ＬＡＮ機器だ fact10: あの六Ｄは筆録しない fact11: 仮にこの四十一参照は算定し難くないが整合的ＯＶ型であるならそれは無線ＬＡＮ機器でない fact12: もしもこの四十一参照が無線ＬＡＮ機器だし筆録するとしたらそれは勝ち易くない fact13: 仮に無線ＬＡＮ機器が筆録するとするとそれは勝ち易くない fact14: この四十一参照は無線ＬＡＮ機器だということはないけれど整合的ＯＶ型だ fact15: あの六Ｄは算定し難いがそれは整合的ＯＶ型でない fact16: 仮にその青色申告特別控除が勝ち易くないとすればこの四十一参照は勝ち易い
fact15 -> int1: 「算定し難いけれど整合的ＯＶ型でない」物はある; int1 & fact5 -> int2: この四十一参照は垂れ流れない; fact3 -> int3: もしもこの四十一参照が垂れ流れないならそれは無線ＬＡＮ機器でなくてそれは筆録する; int2 & int3 -> int4: この四十一参照は無線ＬＡＮ機器でないけれどそれは筆録する; fact4 -> int5: もし仮にこの四十一参照は無線ＬＡＮ機器でないが筆録するなら勝ち易くない; int4 & int5 -> hypothesis;
「この四十一参照は勝ち易い」ということは成り立つ
$facts$ = fact1: もし仮にこのミスＩオンが筆録するならばあの美容師は垂れ流れる fact2: 仮に算定し難い物が整合的ＯＶ型であるならこの四十一参照は垂れ流れない fact3: もしもなんらかの物が垂れ流れないならば無線ＬＡＮ機器だということはなくてかつ筆録する fact4: もし何らかの物が無線ＬＡＮ機器であるということはないけど筆録するなら「それは勝ち易くない」ということは正しい fact5: 仮に「算定し難いがしかし整合的ＯＶ型でない」ものがあればこの四十一参照は垂れ流れるということはない fact6: もしもこの四十一参照が垂れ流れないならばそれは無線ＬＡＮ機器でない fact7: 「整合的ＯＶ型でない」ものはある fact8: あの六Ｄは無線ＬＡＮ機器でない fact9: あの面従腹背は不正乗車するということはないが無線ＬＡＮ機器だ fact10: あの六Ｄは筆録しない fact11: 仮にこの四十一参照は算定し難くないが整合的ＯＶ型であるならそれは無線ＬＡＮ機器でない fact12: もしもこの四十一参照が無線ＬＡＮ機器だし筆録するとしたらそれは勝ち易くない fact13: 仮に無線ＬＡＮ機器が筆録するとするとそれは勝ち易くない fact14: この四十一参照は無線ＬＡＮ機器だということはないけれど整合的ＯＶ型だ fact15: あの六Ｄは算定し難いがそれは整合的ＯＶ型でない fact16: 仮にその青色申告特別控除が勝ち易くないとすればこの四十一参照は勝ち易い ; $hypothesis$ = この四十一参照は勝ち易い ; $proof$ = 
fact15 -> int1: 「算定し難いけれど整合的ＯＶ型でない」物はある; int1 & fact5 -> int2: この四十一参照は垂れ流れない; fact3 -> int3: もしもこの四十一参照が垂れ流れないならそれは無線ＬＡＮ機器でなくてそれは筆録する; int2 & int3 -> int4: この四十一参照は無線ＬＡＮ機器でないけれどそれは筆録する; fact4 -> int5: もし仮にこの四十一参照は無線ＬＡＮ機器でないが筆録するなら勝ち易くない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にこのミスＩオンが筆録するならばあの美容師は垂れ流れる
事実2: 仮に算定し難い物が整合的ＯＶ型であるならこの四十一参照は垂れ流れない
事実3: もしもなんらかの物が垂れ流れないならば無線ＬＡＮ機器だということはなくてかつ筆録する
事実4: もし何らかの物が無線ＬＡＮ機器であるということはないけど筆録するなら「それは勝ち易くない」ということは正しい
事実5: 仮に「算定し難いがしかし整合的ＯＶ型でない」ものがあればこの四十一参照は垂れ流れるということはない
事実6: もしもこの四十一参照が垂れ流れないならばそれは無線ＬＡＮ機器でない
事実7: 「整合的ＯＶ型でない」ものはある
事実8: あの六Ｄは無線ＬＡＮ機器でない
事実9: あの面従腹背は不正乗車するということはないが無線ＬＡＮ機器だ
事実10: あの六Ｄは筆録しない
事実11: 仮にこの四十一参照は算定し難くないが整合的ＯＶ型であるならそれは無線ＬＡＮ機器でない
事実12: もしもこの四十一参照が無線ＬＡＮ機器だし筆録するとしたらそれは勝ち易くない
事実13: 仮に無線ＬＡＮ機器が筆録するとするとそれは勝ち易くない
事実14: この四十一参照は無線ＬＡＮ機器だということはないけれど整合的ＯＶ型だ
事実15: あの六Ｄは算定し難いがそれは整合的ＯＶ型でない
事実16: 仮にその青色申告特別控除が勝ち易くないとすればこの四十一参照は勝ち易い

仮説: この四十一参照は勝ち易い
1. 事実15から、推論1: "「算定し難いけれど整合的ＯＶ型でない」物はある"が導かれる
2. 推論1と事実5から、推論2: "この四十一参照は垂れ流れない"が導かれる
3. 事実3から、推論3: "もしもこの四十一参照が垂れ流れないならそれは無線ＬＡＮ機器でなくてそれは筆録する"が導かれる
4. 推論2と推論3から、推論4: "この四十一参照は無線ＬＡＮ機器でないけれどそれは筆録する"が導かれる
5. 事実4から、推論5: "もし仮にこの四十一参照は無線ＬＡＮ機器でないが筆録するなら勝ち易くない"が導かれる
6. 推論4と推論5から、仮説が否定される

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