あの産室は寒し
fact1: あの地炉は企業調査でないかもしくはそれは挿入する fact2: 仮にその螺旋テープは酸素原子でその上束縛し合うとすればそれは御濃くない fact3: その螺旋テープは束縛し合う fact4: あの地炉が巡るとすれば成果主義である fact5: その学内は企業調査でない fact6: その螺旋テープが御濃くないならばあの産室はパスワードリセットディスクでないしまたそれは絶滅危惧種でない fact7: もし仮にあの産室が束縛し合わないとすればあの螺旋テープはパスワードリセットディスクであるということはない fact8: もしもその螺旋テープが御濃くないならあの産室は絶滅危惧種だということはない fact9: あの産室はパスワードリセットディスクでないし絶滅危惧種でないなら寒しない fact10: 仮になにがしかの物が企業調査でないかもしくは挿入するか両方であるとすると「それは巡る」ということは事実である fact11: もしあの屋外展示物がパスワードリセットディスクだけれど御濃くないならこのラジエーターは束縛し合う fact12: 仮にあの地炉が成果主義であるが愚かしくないならばそれは成功しない fact13: もしあの地炉が成果主義だとするとその螺旋テープは酸素原子である fact14: もし仮にその螺旋テープは酸素原子でないならばそれは巡らないがしかし成果主義である
fact10 -> int1: もしあの地炉は企業調査でないかまたは挿入するかまたはどちらもであるとしたらそれは巡る; int1 & fact1 -> int2: あの地炉は巡る; int2 & fact4 -> int3: あの地炉は成果主義だ; int3 & fact13 -> int4: その螺旋テープは酸素原子だ; int4 & fact3 -> int5: その螺旋テープは酸素原子であるしまた束縛し合う; int5 & fact2 -> int6: その螺旋テープは御濃くない; int6 & fact6 -> int7: あの産室はパスワードリセットディスクでなくて絶滅危惧種でない; int7 & fact9 -> hypothesis;
あの産室は寒し
$facts$ = fact1: あの地炉は企業調査でないかもしくはそれは挿入する fact2: 仮にその螺旋テープは酸素原子でその上束縛し合うとすればそれは御濃くない fact3: その螺旋テープは束縛し合う fact4: あの地炉が巡るとすれば成果主義である fact5: その学内は企業調査でない fact6: その螺旋テープが御濃くないならばあの産室はパスワードリセットディスクでないしまたそれは絶滅危惧種でない fact7: もし仮にあの産室が束縛し合わないとすればあの螺旋テープはパスワードリセットディスクであるということはない fact8: もしもその螺旋テープが御濃くないならあの産室は絶滅危惧種だということはない fact9: あの産室はパスワードリセットディスクでないし絶滅危惧種でないなら寒しない fact10: 仮になにがしかの物が企業調査でないかもしくは挿入するか両方であるとすると「それは巡る」ということは事実である fact11: もしあの屋外展示物がパスワードリセットディスクだけれど御濃くないならこのラジエーターは束縛し合う fact12: 仮にあの地炉が成果主義であるが愚かしくないならばそれは成功しない fact13: もしあの地炉が成果主義だとするとその螺旋テープは酸素原子である fact14: もし仮にその螺旋テープは酸素原子でないならばそれは巡らないがしかし成果主義である ; $hypothesis$ = あの産室は寒し ; $proof$ = 
fact10 -> int1: もしあの地炉は企業調査でないかまたは挿入するかまたはどちらもであるとしたらそれは巡る; int1 & fact1 -> int2: あの地炉は巡る; int2 & fact4 -> int3: あの地炉は成果主義だ; int3 & fact13 -> int4: その螺旋テープは酸素原子だ; int4 & fact3 -> int5: その螺旋テープは酸素原子であるしまた束縛し合う; int5 & fact2 -> int6: その螺旋テープは御濃くない; int6 & fact6 -> int7: あの産室はパスワードリセットディスクでなくて絶滅危惧種でない; int7 & fact9 -> hypothesis; __DISPROVED__
事実1: あの地炉は企業調査でないかもしくはそれは挿入する
事実2: 仮にその螺旋テープは酸素原子でその上束縛し合うとすればそれは御濃くない
事実3: その螺旋テープは束縛し合う
事実4: あの地炉が巡るとすれば成果主義である
事実5: その学内は企業調査でない
事実6: その螺旋テープが御濃くないならばあの産室はパスワードリセットディスクでないしまたそれは絶滅危惧種でない
事実7: もし仮にあの産室が束縛し合わないとすればあの螺旋テープはパスワードリセットディスクであるということはない
事実8: もしもその螺旋テープが御濃くないならあの産室は絶滅危惧種だということはない
事実9: あの産室はパスワードリセットディスクでないし絶滅危惧種でないなら寒しない
事実10: 仮になにがしかの物が企業調査でないかもしくは挿入するか両方であるとすると「それは巡る」ということは事実である
事実11: もしあの屋外展示物がパスワードリセットディスクだけれど御濃くないならこのラジエーターは束縛し合う
事実12: 仮にあの地炉が成果主義であるが愚かしくないならばそれは成功しない
事実13: もしあの地炉が成果主義だとするとその螺旋テープは酸素原子である
事実14: もし仮にその螺旋テープは酸素原子でないならばそれは巡らないがしかし成果主義である

仮説: あの産室は寒し
1. 事実10から、推論1: "もしあの地炉は企業調査でないかまたは挿入するかまたはどちらもであるとしたらそれは巡る"が導かれる
2. 推論1と事実1から、推論2: "あの地炉は巡る"が導かれる
3. 推論2と事実4から、推論3: "あの地炉は成果主義だ"が導かれる
4. 推論3と事実13から、推論4: "その螺旋テープは酸素原子だ"が導かれる
5. 推論4と事実3から、推論5: "その螺旋テープは酸素原子であるしまた束縛し合う"が導かれる
6. 推論5と事実2から、推論6: "その螺旋テープは御濃くない"が導かれる
7. 推論6と事実6から、推論7: "あの産室はパスワードリセットディスクでなくて絶滅危惧種でない"が導かれる
8. 推論7と事実9から、仮説が否定される

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