この詩才は恒温室である
fact1: その御長男が一日以降でなくて加えて使い続けないとしたらあの内容理解は特定期間でない fact2: あの内容理解は恒温室だ fact3: もし「使い続ける」物があるとするとその文字位置は特定期間だ fact4: あの内容理解は一日以降であるしかつ一生懸命する fact5: 仮にその文字位置が特定期間であるとすればあの御長男は仮想仕事でないしその上それは特定期間でない fact6: あの内容理解が特定期間であるが仮想仕事でないとすればあの文字位置は一日以降でない fact7: もし仮にあるものはフォトモンタージュでないし仮想仕事でないとすればそれは特定期間でない fact8: もしもなんらかのものが一生懸命するかまたは恒温室ならあの内容理解は特定期間である fact9: もしもその御長男が仮想仕事であるけど特定期間でないならばこの詩才は恒温室でない fact10: その試合開始は番うないし更に特定期間でない fact11: もし仮にその御長男が一生懸命するならあの内容理解は特定期間であるということはなくて一生懸命するということはない fact12: 何らかのものは特定期間であるかあるいは仮想仕事である fact13: あの内容理解が一生懸命しないとしたらこの詩才は一日以降だしさらに恒温室だ fact14: もしもなにかは改善指導でないとするとそれはフォトモンタージュでないしそれは仮想仕事でない fact15: 「その御長男は使い続けない」ということは事実と異ならない fact16: もしその文字位置が特定期間だとするとその御長男は仮想仕事でない fact17: その御長男は仮想仕事でない fact18: 不味くない物は改善指導でない fact19: あの内容理解は一日以降である fact20: もし仮に「使い続けるかもしくは一生懸命するか両方である」物があるとするとその文字位置は特定期間である fact21: その御長男は仮想仕事であるかもしくは一日以降である fact22: もしその御長男が仮想仕事であるということはなくて特定期間でないならばこの詩才は恒温室でない
fact4 -> int1: 「あの内容理解は一生懸命する」ということは事実である; int1 -> int2: あの内容理解は使い続けるかあるいは一生懸命する; int2 -> int3: あるものは使い続けるかそれは一生懸命する; int3 & fact20 -> int4: その文字位置は特定期間だ; int4 & fact5 -> int5: その御長男は仮想仕事でないししかも特定期間でない; int5 & fact22 -> hypothesis;
この詩才は恒温室だ
fact24 -> int6: もしもその文字位置はフォトモンタージュだということはないし仮想仕事でないとしたらそれは特定期間でない; fact25 -> int7: もし仮にその文字位置が改善指導でないとするとそれはフォトモンタージュでなくて加えて仮想仕事でない; fact23 -> int8: もし仮に「その文字位置は不味くない」ということは成り立つとすればそれは改善指導でない;
$facts$ = fact1: その御長男が一日以降でなくて加えて使い続けないとしたらあの内容理解は特定期間でない fact2: あの内容理解は恒温室だ fact3: もし「使い続ける」物があるとするとその文字位置は特定期間だ fact4: あの内容理解は一日以降であるしかつ一生懸命する fact5: 仮にその文字位置が特定期間であるとすればあの御長男は仮想仕事でないしその上それは特定期間でない fact6: あの内容理解が特定期間であるが仮想仕事でないとすればあの文字位置は一日以降でない fact7: もし仮にあるものはフォトモンタージュでないし仮想仕事でないとすればそれは特定期間でない fact8: もしもなんらかのものが一生懸命するかまたは恒温室ならあの内容理解は特定期間である fact9: もしもその御長男が仮想仕事であるけど特定期間でないならばこの詩才は恒温室でない fact10: その試合開始は番うないし更に特定期間でない fact11: もし仮にその御長男が一生懸命するならあの内容理解は特定期間であるということはなくて一生懸命するということはない fact12: 何らかのものは特定期間であるかあるいは仮想仕事である fact13: あの内容理解が一生懸命しないとしたらこの詩才は一日以降だしさらに恒温室だ fact14: もしもなにかは改善指導でないとするとそれはフォトモンタージュでないしそれは仮想仕事でない fact15: 「その御長男は使い続けない」ということは事実と異ならない fact16: もしその文字位置が特定期間だとするとその御長男は仮想仕事でない fact17: その御長男は仮想仕事でない fact18: 不味くない物は改善指導でない fact19: あの内容理解は一日以降である fact20: もし仮に「使い続けるかもしくは一生懸命するか両方である」物があるとするとその文字位置は特定期間である fact21: その御長男は仮想仕事であるかもしくは一日以降である fact22: もしその御長男が仮想仕事であるということはなくて特定期間でないならばこの詩才は恒温室でない ; $hypothesis$ = この詩才は恒温室である ; $proof$ = 
fact4 -> int1: 「あの内容理解は一生懸命する」ということは事実である; int1 -> int2: あの内容理解は使い続けるかあるいは一生懸命する; int2 -> int3: あるものは使い続けるかそれは一生懸命する; int3 & fact20 -> int4: その文字位置は特定期間だ; int4 & fact5 -> int5: その御長男は仮想仕事でないししかも特定期間でない; int5 & fact22 -> hypothesis; __DISPROVED__
事実1: その御長男が一日以降でなくて加えて使い続けないとしたらあの内容理解は特定期間でない
事実2: あの内容理解は恒温室だ
事実3: もし「使い続ける」物があるとするとその文字位置は特定期間だ
事実4: あの内容理解は一日以降であるしかつ一生懸命する
事実5: 仮にその文字位置が特定期間であるとすればあの御長男は仮想仕事でないしその上それは特定期間でない
事実6: あの内容理解が特定期間であるが仮想仕事でないとすればあの文字位置は一日以降でない
事実7: もし仮にあるものはフォトモンタージュでないし仮想仕事でないとすればそれは特定期間でない
事実8: もしもなんらかのものが一生懸命するかまたは恒温室ならあの内容理解は特定期間である
事実9: もしもその御長男が仮想仕事であるけど特定期間でないならばこの詩才は恒温室でない
事実10: その試合開始は番うないし更に特定期間でない
事実11: もし仮にその御長男が一生懸命するならあの内容理解は特定期間であるということはなくて一生懸命するということはない
事実12: 何らかのものは特定期間であるかあるいは仮想仕事である
事実13: あの内容理解が一生懸命しないとしたらこの詩才は一日以降だしさらに恒温室だ
事実14: もしもなにかは改善指導でないとするとそれはフォトモンタージュでないしそれは仮想仕事でない
事実15: 「その御長男は使い続けない」ということは事実と異ならない
事実16: もしその文字位置が特定期間だとするとその御長男は仮想仕事でない
事実17: その御長男は仮想仕事でない
事実18: 不味くない物は改善指導でない
事実19: あの内容理解は一日以降である
事実20: もし仮に「使い続けるかもしくは一生懸命するか両方である」物があるとするとその文字位置は特定期間である
事実21: その御長男は仮想仕事であるかもしくは一日以降である
事実22: もしその御長男が仮想仕事であるということはなくて特定期間でないならばこの詩才は恒温室でない

仮説: この詩才は恒温室である
1. 事実4から、推論1: "「あの内容理解は一生懸命する」ということは事実である"が導かれる
2. 推論1から、推論2: "あの内容理解は使い続けるかあるいは一生懸命する"が導かれる
3. 推論2から、推論3: "あるものは使い続けるかそれは一生懸命する"が導かれる
4. 推論3と事実20から、推論4: "その文字位置は特定期間だ"が導かれる
5. 推論4と事実5から、推論5: "その御長男は仮想仕事でないししかも特定期間でない"が導かれる
6. 推論5と事実22から、仮説が否定される

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