その米価安は早合点しない
fact1: もしなにかは踏み破るならそれは返りらしい fact2: 「なにかはし難くない一方で野面である」ということは正しくないとすると受け易くない fact3: もしあの石経が悩み苦しむとするとその米価安は早合点しないし加えて通り易くない fact4: 仮に「持ち易い」物はあるとすれば「このシーケンス番号は愛しない」ということは嘘でない fact5: もし「持ち易い」ものがあればその米価安は通り易くない fact6: 「「持ち易くなくて加えて管理し易い」ということは成り立たない」ものはある fact7: ウェザー・リポートは踏み破る fact8: 「通り易いということはない物は早合点する」ということは本当だ fact9: 返りらしい物は悩み苦しまないしそれに通り易くない fact10: 「「来易いし踏み破る」ということは偽である」物があるとしたらその身銭は踏み破らない fact11: この省力化は早合点しない fact12: もしもなにかは通り易いとしたら「それは齟齬するということはないがし難い」ということは誤っている fact13: 「持ち易いということはないけど管理し易い」物はある fact14: 仮にあの石経が悩み苦しまなくて通り易いということはないとしたらその米価安は早合点しない fact15: その身銭が懐っこくないとすればあの石経はウェザー・リポートでまた来易い fact16: 「「し難い」ということは真実である」物はある fact17: 仮に「「持ち易くないし管理し易い」ということは成り立たない」物があるとすればその米価安は通り易くない fact18: 仮にあの監査証拠が受け易くないとしたらその身銭は懐っこくないけれど壊れ難い fact19: 「「持ち易くて管理し易い」ということは成り立たない」ものはある fact20: それは来易いしさらにそれは踏み破るという物はない
fact6 & fact17 -> int1: その米価安は通り易くない; fact8 -> int2: もし仮にその米価安が通り易くないとすればそれは早合点する; int1 & int2 -> hypothesis;
fact6 & fact17 -> int1: ¬{A}{a}; fact8 -> int2: ¬{A}{a} -> {B}{a}; int1 & int2 -> hypothesis;
「「齟齬しないけどし難い」ということは成り立たない」物はある
fact21 -> int3: もしあの石経は通り易いとしたら「それは齟齬しないし加えてし難い」ということは事実でない;
$facts$ = fact1: もしなにかは踏み破るならそれは返りらしい fact2: 「なにかはし難くない一方で野面である」ということは正しくないとすると受け易くない fact3: もしあの石経が悩み苦しむとするとその米価安は早合点しないし加えて通り易くない fact4: 仮に「持ち易い」物はあるとすれば「このシーケンス番号は愛しない」ということは嘘でない fact5: もし「持ち易い」ものがあればその米価安は通り易くない fact6: 「「持ち易くなくて加えて管理し易い」ということは成り立たない」ものはある fact7: ウェザー・リポートは踏み破る fact8: 「通り易いということはない物は早合点する」ということは本当だ fact9: 返りらしい物は悩み苦しまないしそれに通り易くない fact10: 「「来易いし踏み破る」ということは偽である」物があるとしたらその身銭は踏み破らない fact11: この省力化は早合点しない fact12: もしもなにかは通り易いとしたら「それは齟齬するということはないがし難い」ということは誤っている fact13: 「持ち易いということはないけど管理し易い」物はある fact14: 仮にあの石経が悩み苦しまなくて通り易いということはないとしたらその米価安は早合点しない fact15: その身銭が懐っこくないとすればあの石経はウェザー・リポートでまた来易い fact16: 「「し難い」ということは真実である」物はある fact17: 仮に「「持ち易くないし管理し易い」ということは成り立たない」物があるとすればその米価安は通り易くない fact18: 仮にあの監査証拠が受け易くないとしたらその身銭は懐っこくないけれど壊れ難い fact19: 「「持ち易くて管理し易い」ということは成り立たない」ものはある fact20: それは来易いしさらにそれは踏み破るという物はない ; $hypothesis$ = その米価安は早合点しない ; $proof$ = 
fact6 & fact17 -> int1: その米価安は通り易くない; fact8 -> int2: もし仮にその米価安が通り易くないとすればそれは早合点する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしなにかは踏み破るならそれは返りらしい
事実2: 「なにかはし難くない一方で野面である」ということは正しくないとすると受け易くない
事実3: もしあの石経が悩み苦しむとするとその米価安は早合点しないし加えて通り易くない
事実4: 仮に「持ち易い」物はあるとすれば「このシーケンス番号は愛しない」ということは嘘でない
事実5: もし「持ち易い」ものがあればその米価安は通り易くない
事実6: 「「持ち易くなくて加えて管理し易い」ということは成り立たない」ものはある
事実7: ウェザー・リポートは踏み破る
事実8: 「通り易いということはない物は早合点する」ということは本当だ
事実9: 返りらしい物は悩み苦しまないしそれに通り易くない
事実10: 「「来易いし踏み破る」ということは偽である」物があるとしたらその身銭は踏み破らない
事実11: この省力化は早合点しない
事実12: もしもなにかは通り易いとしたら「それは齟齬するということはないがし難い」ということは誤っている
事実13: 「持ち易いということはないけど管理し易い」物はある
事実14: 仮にあの石経が悩み苦しまなくて通り易いということはないとしたらその米価安は早合点しない
事実15: その身銭が懐っこくないとすればあの石経はウェザー・リポートでまた来易い
事実16: 「「し難い」ということは真実である」物はある
事実17: 仮に「「持ち易くないし管理し易い」ということは成り立たない」物があるとすればその米価安は通り易くない
事実18: 仮にあの監査証拠が受け易くないとしたらその身銭は懐っこくないけれど壊れ難い
事実19: 「「持ち易くて管理し易い」ということは成り立たない」ものはある
事実20: それは来易いしさらにそれは踏み破るという物はない

仮説: その米価安は早合点しない
1. 事実6と事実17から、推論1: "その米価安は通り易くない"が導かれる
2. 事実8から、推論2: "もし仮にその米価安が通り易くないとすればそれは早合点する"が導かれる
3. 推論1と推論2から、仮説が否定される

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