「あのネットスケープは総時数だ」ということは本当だ
fact1: もしも「あの大型ボートは麗しい」ということは真実なら意義深い fact2: あのネットスケープは意義深いし加えて麗しい fact3: あのネットスケープは優しししかも上げ過ぎる fact4: 「あのネットスケープは不足する」ということは確かである fact5: 仮にその全身麻酔下は意義深いとしたら「あのネットスケープは総時数である」ということは成り立つ fact6: あの地図上は優し fact7: もし仮になにかは麗しくて上げ過ぎるとしたら総時数でない
fact2 -> int1: あのネットスケープは麗しい; fact3 -> int2: あのネットスケープは上げ過ぎる; int1 & int2 -> int3: あのネットスケープが麗しいしその上上げ過ぎる; fact7 -> int4: 仮にあのネットスケープが麗しいししかもそれが上げ過ぎるとすれば総時数でない; int3 & int4 -> hypothesis;
あの大型ボートは上げ過ぎる
$facts$ = fact1: もしも「あの大型ボートは麗しい」ということは真実なら意義深い fact2: あのネットスケープは意義深いし加えて麗しい fact3: あのネットスケープは優しししかも上げ過ぎる fact4: 「あのネットスケープは不足する」ということは確かである fact5: 仮にその全身麻酔下は意義深いとしたら「あのネットスケープは総時数である」ということは成り立つ fact6: あの地図上は優し fact7: もし仮になにかは麗しくて上げ過ぎるとしたら総時数でない ; $hypothesis$ = 「あのネットスケープは総時数だ」ということは本当だ ; $proof$ = 
fact2 -> int1: あのネットスケープは麗しい; fact3 -> int2: あのネットスケープは上げ過ぎる; int1 & int2 -> int3: あのネットスケープが麗しいしその上上げ過ぎる; fact7 -> int4: 仮にあのネットスケープが麗しいししかもそれが上げ過ぎるとすれば総時数でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしも「あの大型ボートは麗しい」ということは真実なら意義深い
事実2: あのネットスケープは意義深いし加えて麗しい
事実3: あのネットスケープは優しししかも上げ過ぎる
事実4: 「あのネットスケープは不足する」ということは確かである
事実5: 仮にその全身麻酔下は意義深いとしたら「あのネットスケープは総時数である」ということは成り立つ
事実6: あの地図上は優し
事実7: もし仮になにかは麗しくて上げ過ぎるとしたら総時数でない

仮説: 「あのネットスケープは総時数だ」ということは本当だ
1. 事実2から、推論1: "あのネットスケープは麗しい"が導かれる
2. 事実3から、推論2: "あのネットスケープは上げ過ぎる"が導かれる
3. 推論1と推論2から、推論3: "あのネットスケープが麗しいしその上上げ過ぎる"が導かれる
4. 事実7から、推論4: "仮にあのネットスケープが麗しいししかもそれが上げ過ぎるとすれば総時数でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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