「この需要面はグラフ化するけど三河屋でない」ということは成り立たない
fact1: もし「あるものは到達出来るということはないしその上給しない」ということは事実と異なればそれは切り易いということはない fact2: この花殻は直腸だけど恢恢だということはない fact3: 仮にこの合議体は恢恢であるとすると「この需要面はグラフ化するがしかし三河屋であるということはない」ということは真実だ fact4: この合議体は混同し易い fact5: もしこの合議体が恢恢であるとしたらこの需要面は三河屋だということはない fact6: 「この需要面は恢恢だがしかし三河屋でない」ということは成り立つ fact7: この需要面は三河屋でない fact8: すべては目敏いが不完全世代でない fact9: この合議体は恢恢だ fact10: もしもこの合議体は出難くないとすれば「この巾着網は到達出来なくて給しない」ということは偽である fact11: もし何らかの物は不完全世代でないとするとそれは御濃くなくて加えて出難くない fact12: 切り易くないものは心細いが恢恢でない
fact3 & fact9 -> hypothesis;
fact3 & fact9 -> hypothesis;
この巾着網は心細いがそれは恢恢でない
fact16 -> int1: もし仮にこの巾着網が切り易くないならばそれは心細い一方で恢恢でない; fact15 -> int2: この合議体が不完全世代でないとすれば御濃くないしそれは出難くない; fact13 -> int3: この需要面は目敏い一方でそれは不完全世代でない; int3 -> int4: この需要面は不完全世代であるということはない; int4 -> int5: どれもこれもは不完全世代であるということはない; int5 -> int6: この合議体は不完全世代でない; int2 & int6 -> int7: この合議体は御濃くなくて更に出難くない; int7 -> int8: この合議体は出難くない; fact14 & int8 -> int9: 「この巾着網は到達出来ないし給するということはない」ということは正しくない; fact17 -> int10: もし「この巾着網は到達出来ないしかつ給しない」ということは嘘であるならば切り易くない; int9 & int10 -> int11: この巾着網は切り易くない; int1 & int11 -> hypothesis;
$facts$ = fact1: もし「あるものは到達出来るということはないしその上給しない」ということは事実と異なればそれは切り易いということはない fact2: この花殻は直腸だけど恢恢だということはない fact3: 仮にこの合議体は恢恢であるとすると「この需要面はグラフ化するがしかし三河屋であるということはない」ということは真実だ fact4: この合議体は混同し易い fact5: もしこの合議体が恢恢であるとしたらこの需要面は三河屋だということはない fact6: 「この需要面は恢恢だがしかし三河屋でない」ということは成り立つ fact7: この需要面は三河屋でない fact8: すべては目敏いが不完全世代でない fact9: この合議体は恢恢だ fact10: もしもこの合議体は出難くないとすれば「この巾着網は到達出来なくて給しない」ということは偽である fact11: もし何らかの物は不完全世代でないとするとそれは御濃くなくて加えて出難くない fact12: 切り易くないものは心細いが恢恢でない ; $hypothesis$ = 「この需要面はグラフ化するけど三河屋でない」ということは成り立たない ; $proof$ = 
fact3 & fact9 -> hypothesis; __DISPROVED__
事実1: もし「あるものは到達出来るということはないしその上給しない」ということは事実と異なればそれは切り易いということはない
事実2: この花殻は直腸だけど恢恢だということはない
事実3: 仮にこの合議体は恢恢であるとすると「この需要面はグラフ化するがしかし三河屋であるということはない」ということは真実だ
事実4: この合議体は混同し易い
事実5: もしこの合議体が恢恢であるとしたらこの需要面は三河屋だということはない
事実6: 「この需要面は恢恢だがしかし三河屋でない」ということは成り立つ
事実7: この需要面は三河屋でない
事実8: すべては目敏いが不完全世代でない
事実9: この合議体は恢恢だ
事実10: もしもこの合議体は出難くないとすれば「この巾着網は到達出来なくて給しない」ということは偽である
事実11: もし何らかの物は不完全世代でないとするとそれは御濃くなくて加えて出難くない
事実12: 切り易くないものは心細いが恢恢でない

仮説: 「この需要面はグラフ化するけど三河屋でない」ということは成り立たない
1. 事実3と事実9から、仮説が否定される

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