あの茶筌通しは住まわす
fact1: あの茶筌通しは例う fact2: 仮にその大学進学が観測装置だけど朝御飯でないとすると抽送しない fact3: もしも「あのニコラス・ブレイクは御恥ずかしくない」ということは成り立てばあの茶筌通しは座り続けないし住まわさない fact4: あの新市街は座り続ける fact5: 仮に何かは座り続けなくて住まわさないとしたら「あの有意水準は金字塔でない」ということは成り立つ fact6: 「あのニコラス・ブレイクは住まわす」ということは真実であるならばあの茶筌通しは住まわす fact7: なにがしかの物は座り続けるけど金字塔だということはないとしたら住まわすということはない fact8: あの茶筌通しは座り続ける fact9: あの茶筌通しは金字塔でない
fact8 & fact9 -> int1: あの茶筌通しは座り続けるが金字塔でない; fact7 -> int2: あの茶筌通しが座り続けるけれどそれは金字塔でないとしたらそれは住まわさない; int1 & int2 -> hypothesis;
あの有意水準は金字塔でない
$facts$ = fact1: あの茶筌通しは例う fact2: 仮にその大学進学が観測装置だけど朝御飯でないとすると抽送しない fact3: もしも「あのニコラス・ブレイクは御恥ずかしくない」ということは成り立てばあの茶筌通しは座り続けないし住まわさない fact4: あの新市街は座り続ける fact5: 仮に何かは座り続けなくて住まわさないとしたら「あの有意水準は金字塔でない」ということは成り立つ fact6: 「あのニコラス・ブレイクは住まわす」ということは真実であるならばあの茶筌通しは住まわす fact7: なにがしかの物は座り続けるけど金字塔だということはないとしたら住まわすということはない fact8: あの茶筌通しは座り続ける fact9: あの茶筌通しは金字塔でない ; $hypothesis$ = あの茶筌通しは住まわす ; $proof$ = 
fact8 & fact9 -> int1: あの茶筌通しは座り続けるが金字塔でない; fact7 -> int2: あの茶筌通しが座り続けるけれどそれは金字塔でないとしたらそれは住まわさない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの茶筌通しは例う
事実2: 仮にその大学進学が観測装置だけど朝御飯でないとすると抽送しない
事実3: もしも「あのニコラス・ブレイクは御恥ずかしくない」ということは成り立てばあの茶筌通しは座り続けないし住まわさない
事実4: あの新市街は座り続ける
事実5: 仮に何かは座り続けなくて住まわさないとしたら「あの有意水準は金字塔でない」ということは成り立つ
事実6: 「あのニコラス・ブレイクは住まわす」ということは真実であるならばあの茶筌通しは住まわす
事実7: なにがしかの物は座り続けるけど金字塔だということはないとしたら住まわすということはない
事実8: あの茶筌通しは座り続ける
事実9: あの茶筌通しは金字塔でない

仮説: あの茶筌通しは住まわす
1. 事実8と事実9から、推論1: "あの茶筌通しは座り続けるが金字塔でない"が導かれる
2. 事実7から、推論2: "あの茶筌通しが座り続けるけれどそれは金字塔でないとしたらそれは住まわさない"が導かれる
3. 推論1と推論2から、仮説が否定される

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