「「もし仮に攻撃し易いなら切なくない」物はある」ということは誤りだ
fact1: 「もし政実等であるとすると弘通しない」物はある fact2: 「もし平ったいとすれば植民地教育令な」物はある fact3: 「もし攻撃し易いとすると切ない」物はある fact4: 仮に何かは恒常化するならそれは住み易くない fact5: あのアクリル系が切ないとしたら四ＰＭでない fact6: 「この死肉は攻撃し易い」ということは成り立つとすれば切ない fact7: 立て難いものは実行し易くない fact8: 仮にこの死肉が攻撃し易いとしたらそれは居辛い fact9: もしもとあるものが繋がり兼ねるならそれは最終評価でない fact10: 「攻撃し易いものは切ないということはない」ということは正しい fact11: 切ないものは見落とすということはない fact12: 何らかの物が参殿するならそれは行われ易いということはない fact13: もしもこの死肉が切ないとすると弛み無くない fact14: 「もし窄めるとすれば付き易くない」ものはある fact15: 傀儡は御寒くない fact16: 仮に何かは格好悪いなら自殺出来ない fact17: 攻撃し易いものは切ない
fact10 -> int1: この死肉が攻撃し易いとすると切ないということはない; int1 -> hypothesis;
「もし恒常化するとすれば住み易くない」ものはある
fact18 -> int2: もしもこの農協職員が恒常化するとしたら住み易くない; int2 -> hypothesis;
$facts$ = fact1: 「もし政実等であるとすると弘通しない」物はある fact2: 「もし平ったいとすれば植民地教育令な」物はある fact3: 「もし攻撃し易いとすると切ない」物はある fact4: 仮に何かは恒常化するならそれは住み易くない fact5: あのアクリル系が切ないとしたら四ＰＭでない fact6: 「この死肉は攻撃し易い」ということは成り立つとすれば切ない fact7: 立て難いものは実行し易くない fact8: 仮にこの死肉が攻撃し易いとしたらそれは居辛い fact9: もしもとあるものが繋がり兼ねるならそれは最終評価でない fact10: 「攻撃し易いものは切ないということはない」ということは正しい fact11: 切ないものは見落とすということはない fact12: 何らかの物が参殿するならそれは行われ易いということはない fact13: もしもこの死肉が切ないとすると弛み無くない fact14: 「もし窄めるとすれば付き易くない」ものはある fact15: 傀儡は御寒くない fact16: 仮に何かは格好悪いなら自殺出来ない fact17: 攻撃し易いものは切ない ; $hypothesis$ = 「「もし仮に攻撃し易いなら切なくない」物はある」ということは誤りだ ; $proof$ = 
fact10 -> int1: この死肉が攻撃し易いとすると切ないということはない; int1 -> hypothesis; __DISPROVED__
事実1: 「もし政実等であるとすると弘通しない」物はある
事実2: 「もし平ったいとすれば植民地教育令な」物はある
事実3: 「もし攻撃し易いとすると切ない」物はある
事実4: 仮に何かは恒常化するならそれは住み易くない
事実5: あのアクリル系が切ないとしたら四ＰＭでない
事実6: 「この死肉は攻撃し易い」ということは成り立つとすれば切ない
事実7: 立て難いものは実行し易くない
事実8: 仮にこの死肉が攻撃し易いとしたらそれは居辛い
事実9: もしもとあるものが繋がり兼ねるならそれは最終評価でない
事実10: 「攻撃し易いものは切ないということはない」ということは正しい
事実11: 切ないものは見落とすということはない
事実12: 何らかの物が参殿するならそれは行われ易いということはない
事実13: もしもこの死肉が切ないとすると弛み無くない
事実14: 「もし窄めるとすれば付き易くない」ものはある
事実15: 傀儡は御寒くない
事実16: 仮に何かは格好悪いなら自殺出来ない
事実17: 攻撃し易いものは切ない

仮説: 「「もし仮に攻撃し易いなら切なくない」物はある」ということは誤りだ
1. 事実10から、推論1: "この死肉が攻撃し易いとすると切ないということはない"が導かれる
2. 推論1から、仮説が否定される

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