「あの中学卒業は流され易いしオンする」ということは間違いだ
fact1: 「その産出は健康保険証でないがそれはオンする」ということは誤りである fact2: もし仮にあの中学卒業が彼らしいとすると流され易い fact3: あの中学卒業は彼らしい fact4: 「その産出は落ち難くないけれど手先達だ」ということは誤っている fact5: 「その産出は征伐しないししかもそれは割れ易くない」ということは誤っている fact6: あるものは流され易くないとすると「このホエラーズ・ビレッジは彼らしくないけど流され易い」ということは嘘だ fact7: その産出が割れ易いならばあの中学卒業はオンする fact8: もし仮に「なんらかの物は彼らしくないがしかし流され易い」ということは嘘だとしたら「それは割れ易い」ということは正しい fact9: もし仮に「「その産出は征伐しなくて割れ易くない」ということは事実と異なる」ということは事実であるならばあの中学卒業はオンする
fact2 & fact3 -> int1: あの中学卒業は流され易い; fact5 & fact9 -> int2: あの中学卒業はオンする; int1 & int2 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; fact5 & fact9 -> int2: {C}{a}; int1 & int2 -> hypothesis;
このホエラーズ・ビレッジは割れ易い
fact12 -> int3: もし仮に「このホエラーズ・ビレッジは彼らしくないが流され易い」ということは事実でないとするとそれは割れ易い; fact11 -> int4: 「「健康保険証でないがしかしオンする」ということは成り立たない」ものはある;
$facts$ = fact1: 「その産出は健康保険証でないがそれはオンする」ということは誤りである fact2: もし仮にあの中学卒業が彼らしいとすると流され易い fact3: あの中学卒業は彼らしい fact4: 「その産出は落ち難くないけれど手先達だ」ということは誤っている fact5: 「その産出は征伐しないししかもそれは割れ易くない」ということは誤っている fact6: あるものは流され易くないとすると「このホエラーズ・ビレッジは彼らしくないけど流され易い」ということは嘘だ fact7: その産出が割れ易いならばあの中学卒業はオンする fact8: もし仮に「なんらかの物は彼らしくないがしかし流され易い」ということは嘘だとしたら「それは割れ易い」ということは正しい fact9: もし仮に「「その産出は征伐しなくて割れ易くない」ということは事実と異なる」ということは事実であるならばあの中学卒業はオンする ; $hypothesis$ = 「あの中学卒業は流され易いしオンする」ということは間違いだ ; $proof$ = 
fact2 & fact3 -> int1: あの中学卒業は流され易い; fact5 & fact9 -> int2: あの中学卒業はオンする; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「その産出は健康保険証でないがそれはオンする」ということは誤りである
事実2: もし仮にあの中学卒業が彼らしいとすると流され易い
事実3: あの中学卒業は彼らしい
事実4: 「その産出は落ち難くないけれど手先達だ」ということは誤っている
事実5: 「その産出は征伐しないししかもそれは割れ易くない」ということは誤っている
事実6: あるものは流され易くないとすると「このホエラーズ・ビレッジは彼らしくないけど流され易い」ということは嘘だ
事実7: その産出が割れ易いならばあの中学卒業はオンする
事実8: もし仮に「なんらかの物は彼らしくないがしかし流され易い」ということは嘘だとしたら「それは割れ易い」ということは正しい
事実9: もし仮に「「その産出は征伐しなくて割れ易くない」ということは事実と異なる」ということは事実であるならばあの中学卒業はオンする

仮説: 「あの中学卒業は流され易いしオンする」ということは間違いだ
1. 事実2と事実3から、推論1: "あの中学卒業は流され易い"が導かれる
2. 事実5と事実9から、推論2: "あの中学卒業はオンする"が導かれる
3. 推論1と推論2から、仮説が否定される

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