あの健康人は獣染みる
fact1: あの製品群Ｂは反しない fact2: もしもとあるものは取り難くないなら「それは控除余裕額で最新作である」ということは確かでない fact3: 仮にその三鼓は控除余裕額でないしその上取り難くないなら「この重層扁平上皮は最新作であるということはない」ということは成り立つ fact4: もし仮にあの生々が反するけど控除余裕額であるということはないとしたらあの健康人は反しない fact5: あの健康人はファースト・レディでないが反する fact6: とあるものが勘違いし易いということはないならば控除余裕額だということはないしさらに取り難くない fact7: あの生々は獣染みる fact8: 「あの生々は最新作でない」ということは事実である fact9: その機器類は異方性でない fact10: 仮にその機器類が鏡面反射成分だとするとそれは建造する fact11: あの健康人は反する fact12: あの生々は反しない fact13: もしその機器類は勘違いし易いしその上建造するとすれば「その三鼓は勘違いし易くない」ということは成り立つ fact14: もし仮に「この重層扁平上皮は取り難いかもしくは鏡面反射成分でないか両方ともである」ということは成り立つということはないとすればあの生々は取り難くない fact15: あの生々はファースト・レディだということはない fact16: 仮にあの健康人がファースト・レディでないけれど獣染みるとするとあの生々は最新作である fact17: もしもあの健康人が獣染みないがしかしファースト・レディであるならこのボディサイズは獣染みるということはない fact18: もしその機器類が異方性でないとするとそれは努力するし勘違いし易い
fact5 -> int1: あの健康人はファースト・レディでない; void -> assump1: 以下のように仮定する。あの健康人は獣染みる; int1 & assump1 -> int2: あの健康人はファースト・レディでない一方でそれは獣染みる; int2 & fact16 -> int3: あの生々は最新作である; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの健康人は獣染みる
$facts$ = fact1: あの製品群Ｂは反しない fact2: もしもとあるものは取り難くないなら「それは控除余裕額で最新作である」ということは確かでない fact3: 仮にその三鼓は控除余裕額でないしその上取り難くないなら「この重層扁平上皮は最新作であるということはない」ということは成り立つ fact4: もし仮にあの生々が反するけど控除余裕額であるということはないとしたらあの健康人は反しない fact5: あの健康人はファースト・レディでないが反する fact6: とあるものが勘違いし易いということはないならば控除余裕額だということはないしさらに取り難くない fact7: あの生々は獣染みる fact8: 「あの生々は最新作でない」ということは事実である fact9: その機器類は異方性でない fact10: 仮にその機器類が鏡面反射成分だとするとそれは建造する fact11: あの健康人は反する fact12: あの生々は反しない fact13: もしその機器類は勘違いし易いしその上建造するとすれば「その三鼓は勘違いし易くない」ということは成り立つ fact14: もし仮に「この重層扁平上皮は取り難いかもしくは鏡面反射成分でないか両方ともである」ということは成り立つということはないとすればあの生々は取り難くない fact15: あの生々はファースト・レディだということはない fact16: 仮にあの健康人がファースト・レディでないけれど獣染みるとするとあの生々は最新作である fact17: もしもあの健康人が獣染みないがしかしファースト・レディであるならこのボディサイズは獣染みるということはない fact18: もしその機器類が異方性でないとするとそれは努力するし勘違いし易い ; $hypothesis$ = あの健康人は獣染みる ; $proof$ = 
fact5 -> int1: あの健康人はファースト・レディでない; void -> assump1: 以下のように仮定する。あの健康人は獣染みる; int1 & assump1 -> int2: あの健康人はファースト・レディでない一方でそれは獣染みる; int2 & fact16 -> int3: あの生々は最新作である; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの製品群Ｂは反しない
事実2: もしもとあるものは取り難くないなら「それは控除余裕額で最新作である」ということは確かでない
事実3: 仮にその三鼓は控除余裕額でないしその上取り難くないなら「この重層扁平上皮は最新作であるということはない」ということは成り立つ
事実4: もし仮にあの生々が反するけど控除余裕額であるということはないとしたらあの健康人は反しない
事実5: あの健康人はファースト・レディでないが反する
事実6: とあるものが勘違いし易いということはないならば控除余裕額だということはないしさらに取り難くない
事実7: あの生々は獣染みる
事実8: 「あの生々は最新作でない」ということは事実である
事実9: その機器類は異方性でない
事実10: 仮にその機器類が鏡面反射成分だとするとそれは建造する
事実11: あの健康人は反する
事実12: あの生々は反しない
事実13: もしその機器類は勘違いし易いしその上建造するとすれば「その三鼓は勘違いし易くない」ということは成り立つ
事実14: もし仮に「この重層扁平上皮は取り難いかもしくは鏡面反射成分でないか両方ともである」ということは成り立つということはないとすればあの生々は取り難くない
事実15: あの生々はファースト・レディだということはない
事実16: 仮にあの健康人がファースト・レディでないけれど獣染みるとするとあの生々は最新作である
事実17: もしもあの健康人が獣染みないがしかしファースト・レディであるならこのボディサイズは獣染みるということはない
事実18: もしその機器類が異方性でないとするとそれは努力するし勘違いし易い

仮説: あの健康人は獣染みる
1. 事実5から、推論1: "あの健康人はファースト・レディでない"が導かれる
2. 仮定1: 以下のように仮定する。あの健康人は獣染みる
3. 推論1と仮定1から、推論2: "あの健康人はファースト・レディでない一方でそれは獣染みる"が導かれる
4. 推論2と事実16から、推論3: "あの生々は最新作である"が導かれる
5. 推論3と事実8から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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