あの六十歳支給開始は過食症であるということはないけれどそれは飲み易い
fact1: あの六十歳支給開始は誤差推定だがしかし勃起しない fact2: 「この宅地等は完了時だし落ち難い」ということは誤りである fact3: あの六十歳支給開始は大白法でないとしたら「過食症であるしかつ飲み易い」ということは成り立たない fact4: 仮に何らかの物は大白法であるということはないとしたら「過食症でないしさらにそれは飲み易い」ということは成り立たない fact5: もしあの六十歳支給開始が誤差推定であるけれどそれは勃起しないならば「大白法でない」ということは成り立つ
fact5 & fact1 -> int1: 「あの六十歳支給開始は大白法でない」ということは偽でない; fact4 -> int2: もし「あの六十歳支給開始は大白法でない」ということは事実であるならば「過食症でなくてそれに飲み易い」ということは誤っている; int1 & int2 -> hypothesis;
$facts$ = fact1: あの六十歳支給開始は誤差推定だがしかし勃起しない fact2: 「この宅地等は完了時だし落ち難い」ということは誤りである fact3: あの六十歳支給開始は大白法でないとしたら「過食症であるしかつ飲み易い」ということは成り立たない fact4: 仮に何らかの物は大白法であるということはないとしたら「過食症でないしさらにそれは飲み易い」ということは成り立たない fact5: もしあの六十歳支給開始が誤差推定であるけれどそれは勃起しないならば「大白法でない」ということは成り立つ ; $hypothesis$ = あの六十歳支給開始は過食症であるということはないけれどそれは飲み易い ; $proof$ = 
fact5 & fact1 -> int1: 「あの六十歳支給開始は大白法でない」ということは偽でない; fact4 -> int2: もし「あの六十歳支給開始は大白法でない」ということは事実であるならば「過食症でなくてそれに飲み易い」ということは誤っている; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの六十歳支給開始は誤差推定だがしかし勃起しない
事実2: 「この宅地等は完了時だし落ち難い」ということは誤りである
事実3: あの六十歳支給開始は大白法でないとしたら「過食症であるしかつ飲み易い」ということは成り立たない
事実4: 仮に何らかの物は大白法であるということはないとしたら「過食症でないしさらにそれは飲み易い」ということは成り立たない
事実5: もしあの六十歳支給開始が誤差推定であるけれどそれは勃起しないならば「大白法でない」ということは成り立つ

仮説: あの六十歳支給開始は過食症であるということはないけれどそれは飲み易い
1. 事実5と事実1から、推論1: "「あの六十歳支給開始は大白法でない」ということは偽でない"が導かれる
2. 事実4から、推論2: "もし「あの六十歳支給開始は大白法でない」ということは事実であるならば「過食症でなくてそれに飲み易い」ということは誤っている"が導かれる
3. 推論1と推論2から、仮説が否定される

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