「この中国軍戦闘機は飛行機らしいしそれは引っ張り上げる」ということは事実でない
fact1: もしもこの建築面積は渇水対策線でないなら「この中国軍戦闘機は百姓らしくないしまた混乱し始めるということはない」ということは誤っている fact2: あの甘えは限り無い fact3: あの甘えが遅れ易いならばそれは粗い fact4: もし仮に「この中国軍戦闘機は起こり易い」ということは事実だとすれば「引っ張り上げる」ということは事実である fact5: もし仮に「この中国軍戦闘機は百姓らしくないし混乱し始めない」ということは成り立たないならば「起こり易い」ということは真実だ fact6: あの甘えが粗いとするとこの建築面積は渇水対策線でない fact7: 「もしこの中国軍戦闘機が死刑執行日であるとするとこの中国軍戦闘機は飛行機らしい」ということは正しい fact8: もし「あの甘えは限り無い」ということは事実であるとするとそれは遅れ易い fact9: この中国軍戦闘機は死刑執行日だ
fact8 & fact2 -> int1: あの甘えは遅れ易い; int1 & fact3 -> int2: あの甘えは粗い; int2 & fact6 -> int3: この建築面積は渇水対策線でない; int3 & fact1 -> int4: 「「この中国軍戦闘機は百姓らしくないしその上混乱し始めない」ということは成り立つ」ということは誤りである; int4 & fact5 -> int5: この中国軍戦闘機は起こり易い; int5 & fact4 -> int6: この中国軍戦闘機は引っ張り上げる; fact7 & fact9 -> int7: この中国軍戦闘機は飛行機らしい; int6 & int7 -> hypothesis;
$facts$ = fact1: もしもこの建築面積は渇水対策線でないなら「この中国軍戦闘機は百姓らしくないしまた混乱し始めるということはない」ということは誤っている fact2: あの甘えは限り無い fact3: あの甘えが遅れ易いならばそれは粗い fact4: もし仮に「この中国軍戦闘機は起こり易い」ということは事実だとすれば「引っ張り上げる」ということは事実である fact5: もし仮に「この中国軍戦闘機は百姓らしくないし混乱し始めない」ということは成り立たないならば「起こり易い」ということは真実だ fact6: あの甘えが粗いとするとこの建築面積は渇水対策線でない fact7: 「もしこの中国軍戦闘機が死刑執行日であるとするとこの中国軍戦闘機は飛行機らしい」ということは正しい fact8: もし「あの甘えは限り無い」ということは事実であるとするとそれは遅れ易い fact9: この中国軍戦闘機は死刑執行日だ ; $hypothesis$ = 「この中国軍戦闘機は飛行機らしいしそれは引っ張り上げる」ということは事実でない ; $proof$ = 
fact8 & fact2 -> int1: あの甘えは遅れ易い; int1 & fact3 -> int2: あの甘えは粗い; int2 & fact6 -> int3: この建築面積は渇水対策線でない; int3 & fact1 -> int4: 「「この中国軍戦闘機は百姓らしくないしその上混乱し始めない」ということは成り立つ」ということは誤りである; int4 & fact5 -> int5: この中国軍戦闘機は起こり易い; int5 & fact4 -> int6: この中国軍戦闘機は引っ張り上げる; fact7 & fact9 -> int7: この中国軍戦闘機は飛行機らしい; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしもこの建築面積は渇水対策線でないなら「この中国軍戦闘機は百姓らしくないしまた混乱し始めるということはない」ということは誤っている
事実2: あの甘えは限り無い
事実3: あの甘えが遅れ易いならばそれは粗い
事実4: もし仮に「この中国軍戦闘機は起こり易い」ということは事実だとすれば「引っ張り上げる」ということは事実である
事実5: もし仮に「この中国軍戦闘機は百姓らしくないし混乱し始めない」ということは成り立たないならば「起こり易い」ということは真実だ
事実6: あの甘えが粗いとするとこの建築面積は渇水対策線でない
事実7: 「もしこの中国軍戦闘機が死刑執行日であるとするとこの中国軍戦闘機は飛行機らしい」ということは正しい
事実8: もし「あの甘えは限り無い」ということは事実であるとするとそれは遅れ易い
事実9: この中国軍戦闘機は死刑執行日だ

仮説: 「この中国軍戦闘機は飛行機らしいしそれは引っ張り上げる」ということは事実でない
1. 事実8と事実2から、推論1: "あの甘えは遅れ易い"が導かれる
2. 推論1と事実3から、推論2: "あの甘えは粗い"が導かれる
3. 推論2と事実6から、推論3: "この建築面積は渇水対策線でない"が導かれる
4. 推論3と事実1から、推論4: "「「この中国軍戦闘機は百姓らしくないしその上混乱し始めない」ということは成り立つ」ということは誤りである"が導かれる
5. 推論4と事実5から、推論5: "この中国軍戦闘機は起こり易い"が導かれる
6. 推論5と事実4から、推論6: "この中国軍戦闘機は引っ張り上げる"が導かれる
7. 事実7と事実9から、推論7: "この中国軍戦闘機は飛行機らしい"が導かれる
8. 推論6と推論7から、仮説が否定される

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