あの農産は酸い
fact1: もしあの農産はなあくないしさらにそれが投げ落とさないとしたら甘い fact2: あの農産はなあくないしその上投げ落とすということはない fact3: 仮にあの農産がオーバーシュートするしその上それが甘いとするとそれは酸いということはない fact4: あの農産はオーバーシュートする fact5: 仮にあの農産が甘くないならばオーバーシュートするしそれに酸い fact6: もし仮にあの橋本政権が甘くない一方でそれが強過ぎればあの農産は甘くない fact7: あの農産が引き継げないが酸いとすると「その仮死状態は甘いということはない」ということは事実だ fact8: この期待インフレ率はオーバーシュートする fact9: もし「ある物はオーバーシュートするし投げ落とす」ということは間違いならそれは投げ落とさない fact10: もしもあの農産はなあいが投げ落とさないとすれば甘い fact11: もしもその窒化層が引き継げるということはないとするとその橋本政権は甘いということはないがしかし強過ぎる fact12: あの農産はなあくないけど投げ落とすとするとそれは甘い
fact1 & fact2 -> int1: あの農産は甘い; int1 & fact4 -> int2: あの農産はオーバーシュートするし更に甘い; int2 & fact3 -> hypothesis;
あの農産は酸い
$facts$ = fact1: もしあの農産はなあくないしさらにそれが投げ落とさないとしたら甘い fact2: あの農産はなあくないしその上投げ落とすということはない fact3: 仮にあの農産がオーバーシュートするしその上それが甘いとするとそれは酸いということはない fact4: あの農産はオーバーシュートする fact5: 仮にあの農産が甘くないならばオーバーシュートするしそれに酸い fact6: もし仮にあの橋本政権が甘くない一方でそれが強過ぎればあの農産は甘くない fact7: あの農産が引き継げないが酸いとすると「その仮死状態は甘いということはない」ということは事実だ fact8: この期待インフレ率はオーバーシュートする fact9: もし「ある物はオーバーシュートするし投げ落とす」ということは間違いならそれは投げ落とさない fact10: もしもあの農産はなあいが投げ落とさないとすれば甘い fact11: もしもその窒化層が引き継げるということはないとするとその橋本政権は甘いということはないがしかし強過ぎる fact12: あの農産はなあくないけど投げ落とすとするとそれは甘い ; $hypothesis$ = あの農産は酸い ; $proof$ = 
fact1 & fact2 -> int1: あの農産は甘い; int1 & fact4 -> int2: あの農産はオーバーシュートするし更に甘い; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしあの農産はなあくないしさらにそれが投げ落とさないとしたら甘い
事実2: あの農産はなあくないしその上投げ落とすということはない
事実3: 仮にあの農産がオーバーシュートするしその上それが甘いとするとそれは酸いということはない
事実4: あの農産はオーバーシュートする
事実5: 仮にあの農産が甘くないならばオーバーシュートするしそれに酸い
事実6: もし仮にあの橋本政権が甘くない一方でそれが強過ぎればあの農産は甘くない
事実7: あの農産が引き継げないが酸いとすると「その仮死状態は甘いということはない」ということは事実だ
事実8: この期待インフレ率はオーバーシュートする
事実9: もし「ある物はオーバーシュートするし投げ落とす」ということは間違いならそれは投げ落とさない
事実10: もしもあの農産はなあいが投げ落とさないとすれば甘い
事実11: もしもその窒化層が引き継げるということはないとするとその橋本政権は甘いということはないがしかし強過ぎる
事実12: あの農産はなあくないけど投げ落とすとするとそれは甘い

仮説: あの農産は酸い
1. 事実1と事実2から、推論1: "あの農産は甘い"が導かれる
2. 推論1と事実4から、推論2: "あの農産はオーバーシュートするし更に甘い"が導かれる
3. 推論2と事実3から、仮説が否定される

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