「その予定通りは感受出来るということはないけれどそれは事らしい」ということは嘘だ
fact1: 仮に「「金髪であるがしかし仲間全員だということはない」ということは成り立たない」物があるならあのオーステンパは金髪でない fact2: もし仮になんらかの物が家毎だとするとそれは感受出来ない fact3: もしこの学校令が緩み易いかもしくは仲間全員であるとすればそれは家毎でない fact4: もしその予定通りが金髪でないか事らしくないかまたはどちらもだとすればそれは設定する fact5: あの血行促進は拡大し過ぎる fact6: もし仮に何かは拡大し過ぎるか金髪ならば設定しない fact7: もしあのオーステンパが感受出来ないならその予定通りは感受出来なくてそれは設定しない fact8: もし仮に何らかの物が緩み易くないかあるいは仲間全員でないかもしくは両方ともであるならば慈愛深い fact9: もし何らかのものが金髪だとしたらそれは設定しない fact10: もしも「あのオーステンパは緩み易くないがしかし家毎である」ということは事実でないならば仲間全員でない fact11: もしも何らかの物は設定するということはないとしたら「金髪で更にそれは仲間全員でない」ということは偽である fact12: この登場人物達は設定しない fact13: もしあのオーステンパが仲間全員だということはないとすればその予定通りは慈愛深くない fact14: もしもこの学校令が慈愛深いならその予定通りは家毎だ fact15: あのオーステンパは拡大し過ぎる fact16: もしあのオーステンパが設定するということはないならこの登場人物達は設定しないしおまけに仲間全員でない fact17: もし仮にこの登場人物達が仲間全員でないとしたらこの学校令は緩み易いということはないかあるいは仲間全員でないかもしくは両方ともである fact18: その予定通りは感受出来ない fact19: 慈愛深くないものは設定するかもしくは金髪でない fact20: 「この登場人物達は見分け難い」ということは正しい fact21: もしもとあるものは拡大し過ぎるとしたら「それは感受出来ないけれど事らしい」ということは偽である fact22: 仮に「「慈愛深くて拡大し過ぎない」ということは成り立たない」物があるとしたらその走査直線は慈愛深くない fact23: もしも何かは家毎であるとすると感受出来ないが事らしい
fact15 -> int1: あのオーステンパは拡大し過ぎるか金髪であるかもしくは両方ともである; fact6 -> int2: もしもあのオーステンパは拡大し過ぎるか金髪ならそれは設定しない; int1 & int2 -> int3: あのオーステンパは設定しない; int3 & fact16 -> int4: この登場人物達は設定しないし更に仲間全員でない; int4 -> int5: この登場人物達は仲間全員だということはない; int5 & fact17 -> int6: この学校令は緩み易くないか仲間全員でないかあるいは両方ともである; fact8 -> int7: もしもこの学校令は緩み易くないかもしくは仲間全員でないか両方ともならば慈愛深い; int6 & int7 -> int8: 「この学校令は慈愛深い」ということは真実である; int8 & fact14 -> int9: その予定通りは家毎だ; fact23 -> int10: もしその予定通りが家毎であるならそれは感受出来るということはないしおまけにそれは事らしい; int9 & int10 -> hypothesis;
「その予定通りは感受出来ないけど事らしい」ということは誤っている
fact26 -> int11: もし仮にその予定通りは拡大し過ぎるなら「それは感受出来ないけれど事らしい」ということは間違いだ; fact24 -> int12: もしその予定通りが慈愛深くないとするとそれは設定するか金髪でないかまたは両方ともだ;
$facts$ = fact1: 仮に「「金髪であるがしかし仲間全員だということはない」ということは成り立たない」物があるならあのオーステンパは金髪でない fact2: もし仮になんらかの物が家毎だとするとそれは感受出来ない fact3: もしこの学校令が緩み易いかもしくは仲間全員であるとすればそれは家毎でない fact4: もしその予定通りが金髪でないか事らしくないかまたはどちらもだとすればそれは設定する fact5: あの血行促進は拡大し過ぎる fact6: もし仮に何かは拡大し過ぎるか金髪ならば設定しない fact7: もしあのオーステンパが感受出来ないならその予定通りは感受出来なくてそれは設定しない fact8: もし仮に何らかの物が緩み易くないかあるいは仲間全員でないかもしくは両方ともであるならば慈愛深い fact9: もし何らかのものが金髪だとしたらそれは設定しない fact10: もしも「あのオーステンパは緩み易くないがしかし家毎である」ということは事実でないならば仲間全員でない fact11: もしも何らかの物は設定するということはないとしたら「金髪で更にそれは仲間全員でない」ということは偽である fact12: この登場人物達は設定しない fact13: もしあのオーステンパが仲間全員だということはないとすればその予定通りは慈愛深くない fact14: もしもこの学校令が慈愛深いならその予定通りは家毎だ fact15: あのオーステンパは拡大し過ぎる fact16: もしあのオーステンパが設定するということはないならこの登場人物達は設定しないしおまけに仲間全員でない fact17: もし仮にこの登場人物達が仲間全員でないとしたらこの学校令は緩み易いということはないかあるいは仲間全員でないかもしくは両方ともである fact18: その予定通りは感受出来ない fact19: 慈愛深くないものは設定するかもしくは金髪でない fact20: 「この登場人物達は見分け難い」ということは正しい fact21: もしもとあるものは拡大し過ぎるとしたら「それは感受出来ないけれど事らしい」ということは偽である fact22: 仮に「「慈愛深くて拡大し過ぎない」ということは成り立たない」物があるとしたらその走査直線は慈愛深くない fact23: もしも何かは家毎であるとすると感受出来ないが事らしい ; $hypothesis$ = 「その予定通りは感受出来るということはないけれどそれは事らしい」ということは嘘だ ; $proof$ = 
fact15 -> int1: あのオーステンパは拡大し過ぎるか金髪であるかもしくは両方ともである; fact6 -> int2: もしもあのオーステンパは拡大し過ぎるか金髪ならそれは設定しない; int1 & int2 -> int3: あのオーステンパは設定しない; int3 & fact16 -> int4: この登場人物達は設定しないし更に仲間全員でない; int4 -> int5: この登場人物達は仲間全員だということはない; int5 & fact17 -> int6: この学校令は緩み易くないか仲間全員でないかあるいは両方ともである; fact8 -> int7: もしもこの学校令は緩み易くないかもしくは仲間全員でないか両方ともならば慈愛深い; int6 & int7 -> int8: 「この学校令は慈愛深い」ということは真実である; int8 & fact14 -> int9: その予定通りは家毎だ; fact23 -> int10: もしその予定通りが家毎であるならそれは感受出来るということはないしおまけにそれは事らしい; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 仮に「「金髪であるがしかし仲間全員だということはない」ということは成り立たない」物があるならあのオーステンパは金髪でない
事実2: もし仮になんらかの物が家毎だとするとそれは感受出来ない
事実3: もしこの学校令が緩み易いかもしくは仲間全員であるとすればそれは家毎でない
事実4: もしその予定通りが金髪でないか事らしくないかまたはどちらもだとすればそれは設定する
事実5: あの血行促進は拡大し過ぎる
事実6: もし仮に何かは拡大し過ぎるか金髪ならば設定しない
事実7: もしあのオーステンパが感受出来ないならその予定通りは感受出来なくてそれは設定しない
事実8: もし仮に何らかの物が緩み易くないかあるいは仲間全員でないかもしくは両方ともであるならば慈愛深い
事実9: もし何らかのものが金髪だとしたらそれは設定しない
事実10: もしも「あのオーステンパは緩み易くないがしかし家毎である」ということは事実でないならば仲間全員でない
事実11: もしも何らかの物は設定するということはないとしたら「金髪で更にそれは仲間全員でない」ということは偽である
事実12: この登場人物達は設定しない
事実13: もしあのオーステンパが仲間全員だということはないとすればその予定通りは慈愛深くない
事実14: もしもこの学校令が慈愛深いならその予定通りは家毎だ
事実15: あのオーステンパは拡大し過ぎる
事実16: もしあのオーステンパが設定するということはないならこの登場人物達は設定しないしおまけに仲間全員でない
事実17: もし仮にこの登場人物達が仲間全員でないとしたらこの学校令は緩み易いということはないかあるいは仲間全員でないかもしくは両方ともである
事実18: その予定通りは感受出来ない
事実19: 慈愛深くないものは設定するかもしくは金髪でない
事実20: 「この登場人物達は見分け難い」ということは正しい
事実21: もしもとあるものは拡大し過ぎるとしたら「それは感受出来ないけれど事らしい」ということは偽である
事実22: 仮に「「慈愛深くて拡大し過ぎない」ということは成り立たない」物があるとしたらその走査直線は慈愛深くない
事実23: もしも何かは家毎であるとすると感受出来ないが事らしい

仮説: 「その予定通りは感受出来るということはないけれどそれは事らしい」ということは嘘だ
1. 事実15から、推論1: "あのオーステンパは拡大し過ぎるか金髪であるかもしくは両方ともである"が導かれる
2. 事実6から、推論2: "もしもあのオーステンパは拡大し過ぎるか金髪ならそれは設定しない"が導かれる
3. 推論1と推論2から、推論3: "あのオーステンパは設定しない"が導かれる
4. 推論3と事実16から、推論4: "この登場人物達は設定しないし更に仲間全員でない"が導かれる
5. 推論4から、推論5: "この登場人物達は仲間全員だということはない"が導かれる
6. 推論5と事実17から、推論6: "この学校令は緩み易くないか仲間全員でないかあるいは両方ともである"が導かれる
7. 事実8から、推論7: "もしもこの学校令は緩み易くないかもしくは仲間全員でないか両方ともならば慈愛深い"が導かれる
8. 推論6と推論7から、推論8: "「この学校令は慈愛深い」ということは真実である"が導かれる
9. 推論8と事実14から、推論9: "その予定通りは家毎だ"が導かれる
10. 事実23から、推論10: "もしその予定通りが家毎であるならそれは感受出来るということはないしおまけにそれは事らしい"が導かれる
11. 推論9と推論10から、仮説が否定される

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