この資金計算書は小屋組材だ
fact1: くすむし持ち込めるという物はない fact2: その教は低し fact3: 仮にその教が大きいけれど巣内でないとしたらこの資金計算書は小屋組材でない fact4: もし仮にあの勤務地が八月付けでないならばその教は大きい fact5: 何らかの物は八月付けでないとすると「五反未満でまたそれはくすむ」ということは事実と異なる fact6: 「「あの勤務地はくすまないし加えて八月付けだということはない」ということは成り立たない」ということは成り立つ fact7: 仮に「このシステム環境設定はくすむし更にそれは持ち込める」ということは偽であるならあの勤務地は八月付けでない fact8: もしも「その教は低し」ということは正しいなら「それは十段階でなくてまた見極めるということはない」ということは成り立たない fact9: もし仮に「何らかの物は十段階でなくておまけに見極めるということはない」ということは間違っているとしたらそれは巣内でない fact10: 仮にあの勤務地は八月付けである一方で大きくないとすると「この資金計算書は小屋組材である」ということは成り立つ
fact1 -> int1: 「このシステム環境設定はくすむしそれに持ち込める」ということは偽だ; int1 & fact7 -> int2: あの勤務地は八月付けでない; int2 & fact4 -> int3: その教は大きい; fact9 -> int4: もしも「その教は十段階でないし加えて見極めない」ということは事実と異なるならそれは巣内でない; fact2 & fact8 -> int5: 「その教は十段階だということはないしさらに見極めない」ということは誤っている; int4 & int5 -> int6: その教は巣内でない; int3 & int6 -> int7: その教は大きいけれど巣内でない; int7 & fact3 -> hypothesis;
「この資金計算書は五反未満でかつそれはくすむ」ということは成り立たない
fact11 -> int8: もしも「この資金計算書は八月付けでない」ということは確かだとしたら「五反未満であるしまたくすむ」ということは事実と異なる;
$facts$ = fact1: くすむし持ち込めるという物はない fact2: その教は低し fact3: 仮にその教が大きいけれど巣内でないとしたらこの資金計算書は小屋組材でない fact4: もし仮にあの勤務地が八月付けでないならばその教は大きい fact5: 何らかの物は八月付けでないとすると「五反未満でまたそれはくすむ」ということは事実と異なる fact6: 「「あの勤務地はくすまないし加えて八月付けだということはない」ということは成り立たない」ということは成り立つ fact7: 仮に「このシステム環境設定はくすむし更にそれは持ち込める」ということは偽であるならあの勤務地は八月付けでない fact8: もしも「その教は低し」ということは正しいなら「それは十段階でなくてまた見極めるということはない」ということは成り立たない fact9: もし仮に「何らかの物は十段階でなくておまけに見極めるということはない」ということは間違っているとしたらそれは巣内でない fact10: 仮にあの勤務地は八月付けである一方で大きくないとすると「この資金計算書は小屋組材である」ということは成り立つ ; $hypothesis$ = この資金計算書は小屋組材だ ; $proof$ = 
fact1 -> int1: 「このシステム環境設定はくすむしそれに持ち込める」ということは偽だ; int1 & fact7 -> int2: あの勤務地は八月付けでない; int2 & fact4 -> int3: その教は大きい; fact9 -> int4: もしも「その教は十段階でないし加えて見極めない」ということは事実と異なるならそれは巣内でない; fact2 & fact8 -> int5: 「その教は十段階だということはないしさらに見極めない」ということは誤っている; int4 & int5 -> int6: その教は巣内でない; int3 & int6 -> int7: その教は大きいけれど巣内でない; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: くすむし持ち込めるという物はない
事実2: その教は低し
事実3: 仮にその教が大きいけれど巣内でないとしたらこの資金計算書は小屋組材でない
事実4: もし仮にあの勤務地が八月付けでないならばその教は大きい
事実5: 何らかの物は八月付けでないとすると「五反未満でまたそれはくすむ」ということは事実と異なる
事実6: 「「あの勤務地はくすまないし加えて八月付けだということはない」ということは成り立たない」ということは成り立つ
事実7: 仮に「このシステム環境設定はくすむし更にそれは持ち込める」ということは偽であるならあの勤務地は八月付けでない
事実8: もしも「その教は低し」ということは正しいなら「それは十段階でなくてまた見極めるということはない」ということは成り立たない
事実9: もし仮に「何らかの物は十段階でなくておまけに見極めるということはない」ということは間違っているとしたらそれは巣内でない
事実10: 仮にあの勤務地は八月付けである一方で大きくないとすると「この資金計算書は小屋組材である」ということは成り立つ

仮説: この資金計算書は小屋組材だ
1. 事実1から、推論1: "「このシステム環境設定はくすむしそれに持ち込める」ということは偽だ"が導かれる
2. 推論1と事実7から、推論2: "あの勤務地は八月付けでない"が導かれる
3. 推論2と事実4から、推論3: "その教は大きい"が導かれる
4. 事実9から、推論4: "もしも「その教は十段階でないし加えて見極めない」ということは事実と異なるならそれは巣内でない"が導かれる
5. 事実2と事実8から、推論5: "「その教は十段階だということはないしさらに見極めない」ということは誤っている"が導かれる
6. 推論4と推論5から、推論6: "その教は巣内でない"が導かれる
7. 推論3と推論6から、推論7: "その教は大きいけれど巣内でない"が導かれる
8. 推論7と事実3から、仮説が否定される

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