あの十二月号は読み易い
fact1: もしもその活字本が扱くとしたらあの十二月号は読み易くないし加えて扱かない fact2: 小帯線維が乾期なら扱く fact3: とある物が扱くならそれは段々畑でないしおまけに読み易くない fact4: もしもあの十二月号が読み易いならばその波長帯は乾期であるということはないしさらに点検出来ない fact5: もしもなんらかの物が測り兼ねらないならばそれは扱くしそれは破産法だ fact6: 仮に小帯線維は乾期でないとしたらそれは扱く fact7: もしあのＯＲＴが段々畑でないしさらにそれが読み易くないとしたらあの十二月号は読み易い fact8: その活字本は段々畑でない fact9: その活字本は乾期でない fact10: その活字本が扱くならあの十二月号は扱かない fact11: もし仮にその活字本は小帯線維だし乾期であるとすればそれは扱く fact12: 「仮にその活字本が段々畑でないとしたらその活字本は小帯線維であるけれど乾期でない」ということは確かだ fact13: その活字本が段々畑でないとすればそれは乾期でない fact14: あの十二月号は扱かない
fact6 -> int1: その活字本は小帯線維だが乾期でないならば「扱く」ということは確かだ; fact12 & fact8 -> int2: その活字本は小帯線維だけれど乾期でない; int1 & int2 -> int3: 「その活字本は扱く」ということは正しい; int3 & fact1 -> int4: あの十二月号は読み易いということはないし扱かない; int4 -> hypothesis;
その波長帯は乾期でなくておまけにそれは点検出来るということはない
$facts$ = fact1: もしもその活字本が扱くとしたらあの十二月号は読み易くないし加えて扱かない fact2: 小帯線維が乾期なら扱く fact3: とある物が扱くならそれは段々畑でないしおまけに読み易くない fact4: もしもあの十二月号が読み易いならばその波長帯は乾期であるということはないしさらに点検出来ない fact5: もしもなんらかの物が測り兼ねらないならばそれは扱くしそれは破産法だ fact6: 仮に小帯線維は乾期でないとしたらそれは扱く fact7: もしあのＯＲＴが段々畑でないしさらにそれが読み易くないとしたらあの十二月号は読み易い fact8: その活字本は段々畑でない fact9: その活字本は乾期でない fact10: その活字本が扱くならあの十二月号は扱かない fact11: もし仮にその活字本は小帯線維だし乾期であるとすればそれは扱く fact12: 「仮にその活字本が段々畑でないとしたらその活字本は小帯線維であるけれど乾期でない」ということは確かだ fact13: その活字本が段々畑でないとすればそれは乾期でない fact14: あの十二月号は扱かない ; $hypothesis$ = あの十二月号は読み易い ; $proof$ = 
fact6 -> int1: その活字本は小帯線維だが乾期でないならば「扱く」ということは確かだ; fact12 & fact8 -> int2: その活字本は小帯線維だけれど乾期でない; int1 & int2 -> int3: 「その活字本は扱く」ということは正しい; int3 & fact1 -> int4: あの十二月号は読み易いということはないし扱かない; int4 -> hypothesis; __DISPROVED__
事実1: もしもその活字本が扱くとしたらあの十二月号は読み易くないし加えて扱かない
事実2: 小帯線維が乾期なら扱く
事実3: とある物が扱くならそれは段々畑でないしおまけに読み易くない
事実4: もしもあの十二月号が読み易いならばその波長帯は乾期であるということはないしさらに点検出来ない
事実5: もしもなんらかの物が測り兼ねらないならばそれは扱くしそれは破産法だ
事実6: 仮に小帯線維は乾期でないとしたらそれは扱く
事実7: もしあのＯＲＴが段々畑でないしさらにそれが読み易くないとしたらあの十二月号は読み易い
事実8: その活字本は段々畑でない
事実9: その活字本は乾期でない
事実10: その活字本が扱くならあの十二月号は扱かない
事実11: もし仮にその活字本は小帯線維だし乾期であるとすればそれは扱く
事実12: 「仮にその活字本が段々畑でないとしたらその活字本は小帯線維であるけれど乾期でない」ということは確かだ
事実13: その活字本が段々畑でないとすればそれは乾期でない
事実14: あの十二月号は扱かない

仮説: あの十二月号は読み易い
1. 事実6から、推論1: "その活字本は小帯線維だが乾期でないならば「扱く」ということは確かだ"が導かれる
2. 事実12と事実8から、推論2: "その活字本は小帯線維だけれど乾期でない"が導かれる
3. 推論1と推論2から、推論3: "「その活字本は扱く」ということは正しい"が導かれる
4. 推論3と事実1から、推論4: "あの十二月号は読み易いということはないし扱かない"が導かれる
5. 推論4から、仮説が否定される

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