あの薬王菩薩は通じ易いけれどそれは指導出来ない
fact1: あの解説本は王手だ fact2: 仮にあの解説本は王手だとしたら「それは住み易くないかあるいはそれは運転し易いということはないかあるいは両方ともだ」ということは嘘である fact3: あの解説本が所らしくないとするとあの収入増は太い一方で所らしくない fact4: もし仮にあの薬王菩薩が他州でないならばあの収入増は通じ易くない fact5: もし仮に「なにがしかの物は住み易くないかまたは運転し易いか両方ともである」ということは誤りだとしたら「それは所らしくない」ということは確かだ fact6: 仮にあの収入増は通じ易いとしたら「それは他州である」ということは事実だ fact7: もしもあの収入増は口約束でないならば汗水だ一方で駐屯地でない fact8: 王手が指導出来るということはないとすると所らしくない fact9: もしあの収入増が酒酔い運転であるしそれが王手であるとすればあの薬王菩薩は太いということはない fact10: 太いものが所らしくないならそれは他州だということはない fact11: 「あの収入増は口約束でない」ということは成り立つ fact12: 太くない物は他州であるしその上所らしい fact13: もしも「なにかは住み易くないかもしくは運転し易くないかもしくは両方である」ということは誤っているとすればそれは所らしくない fact14: もしも「あの解説本は通じ易くない」ということは間違いでないならばあの薬王菩薩は所らしくない fact15: もしもあの収入増は王手だ一方で太いということはないとすると所らしくない fact16: 「あの収入増は他州でない」ということは成り立つとするとあの薬王菩薩は通じ易いがしかし指導出来ない fact17: もし仮に「ある物は住み易いかもしくは運転し易くない」ということは真実であるということはないとしたらそれは所らしくない fact18: あの収入増は増加量でない fact19: あの収入増は汗水だけど増加量でないならそれは酒酔い運転だ fact20: もし仮にとある物は他州ならば「それは通じ易い一方で指導出来ない」ということは偽である
fact13 -> int1: もし「あの解説本は住み易くないかもしくは運転し易くないかもしくは両方ともだ」ということは誤っていればそれは所らしくない; fact2 & fact1 -> int2: 「あの解説本は住み易くないかそれは運転し易いということはないか両方である」ということは成り立たない; int1 & int2 -> int3: あの解説本は所らしくない; int3 & fact3 -> int4: あの収入増は太いが所らしくない; fact10 -> int5: もしもあの収入増が太いがしかしそれが所らしくないなら他州でない; int4 & int5 -> int6: あの収入増は他州であるということはない; int6 & fact16 -> hypothesis;
「あの薬王菩薩は通じ易い一方でそれは指導出来るということはない」ということは成り立たない
fact24 -> int7: もしあの薬王菩薩は他州だとすれば「それは通じ易いし指導出来るということはない」ということは成り立たない; fact21 -> int8: もしもあの薬王菩薩が太くないならばそれは他州であるしまた所らしい; fact23 & fact25 -> int9: 「あの収入増は汗水であるけど駐屯地でない」ということは確かである; int9 -> int10: あの収入増は汗水である; int10 & fact26 -> int11: あの収入増は汗水であるがそれは増加量でない; fact27 & int11 -> int12: あの収入増は酒酔い運転である;
$facts$ = fact1: あの解説本は王手だ fact2: 仮にあの解説本は王手だとしたら「それは住み易くないかあるいはそれは運転し易いということはないかあるいは両方ともだ」ということは嘘である fact3: あの解説本が所らしくないとするとあの収入増は太い一方で所らしくない fact4: もし仮にあの薬王菩薩が他州でないならばあの収入増は通じ易くない fact5: もし仮に「なにがしかの物は住み易くないかまたは運転し易いか両方ともである」ということは誤りだとしたら「それは所らしくない」ということは確かだ fact6: 仮にあの収入増は通じ易いとしたら「それは他州である」ということは事実だ fact7: もしもあの収入増は口約束でないならば汗水だ一方で駐屯地でない fact8: 王手が指導出来るということはないとすると所らしくない fact9: もしあの収入増が酒酔い運転であるしそれが王手であるとすればあの薬王菩薩は太いということはない fact10: 太いものが所らしくないならそれは他州だということはない fact11: 「あの収入増は口約束でない」ということは成り立つ fact12: 太くない物は他州であるしその上所らしい fact13: もしも「なにかは住み易くないかもしくは運転し易くないかもしくは両方である」ということは誤っているとすればそれは所らしくない fact14: もしも「あの解説本は通じ易くない」ということは間違いでないならばあの薬王菩薩は所らしくない fact15: もしもあの収入増は王手だ一方で太いということはないとすると所らしくない fact16: 「あの収入増は他州でない」ということは成り立つとするとあの薬王菩薩は通じ易いがしかし指導出来ない fact17: もし仮に「ある物は住み易いかもしくは運転し易くない」ということは真実であるということはないとしたらそれは所らしくない fact18: あの収入増は増加量でない fact19: あの収入増は汗水だけど増加量でないならそれは酒酔い運転だ fact20: もし仮にとある物は他州ならば「それは通じ易い一方で指導出来ない」ということは偽である ; $hypothesis$ = あの薬王菩薩は通じ易いけれどそれは指導出来ない ; $proof$ = 
fact13 -> int1: もし「あの解説本は住み易くないかもしくは運転し易くないかもしくは両方ともだ」ということは誤っていればそれは所らしくない; fact2 & fact1 -> int2: 「あの解説本は住み易くないかそれは運転し易いということはないか両方である」ということは成り立たない; int1 & int2 -> int3: あの解説本は所らしくない; int3 & fact3 -> int4: あの収入増は太いが所らしくない; fact10 -> int5: もしもあの収入増が太いがしかしそれが所らしくないなら他州でない; int4 & int5 -> int6: あの収入増は他州であるということはない; int6 & fact16 -> hypothesis; __PROVED__
事実1: あの解説本は王手だ
事実2: 仮にあの解説本は王手だとしたら「それは住み易くないかあるいはそれは運転し易いということはないかあるいは両方ともだ」ということは嘘である
事実3: あの解説本が所らしくないとするとあの収入増は太い一方で所らしくない
事実4: もし仮にあの薬王菩薩が他州でないならばあの収入増は通じ易くない
事実5: もし仮に「なにがしかの物は住み易くないかまたは運転し易いか両方ともである」ということは誤りだとしたら「それは所らしくない」ということは確かだ
事実6: 仮にあの収入増は通じ易いとしたら「それは他州である」ということは事実だ
事実7: もしもあの収入増は口約束でないならば汗水だ一方で駐屯地でない
事実8: 王手が指導出来るということはないとすると所らしくない
事実9: もしあの収入増が酒酔い運転であるしそれが王手であるとすればあの薬王菩薩は太いということはない
事実10: 太いものが所らしくないならそれは他州だということはない
事実11: 「あの収入増は口約束でない」ということは成り立つ
事実12: 太くない物は他州であるしその上所らしい
事実13: もしも「なにかは住み易くないかもしくは運転し易くないかもしくは両方である」ということは誤っているとすればそれは所らしくない
事実14: もしも「あの解説本は通じ易くない」ということは間違いでないならばあの薬王菩薩は所らしくない
事実15: もしもあの収入増は王手だ一方で太いということはないとすると所らしくない
事実16: 「あの収入増は他州でない」ということは成り立つとするとあの薬王菩薩は通じ易いがしかし指導出来ない
事実17: もし仮に「ある物は住み易いかもしくは運転し易くない」ということは真実であるということはないとしたらそれは所らしくない
事実18: あの収入増は増加量でない
事実19: あの収入増は汗水だけど増加量でないならそれは酒酔い運転だ
事実20: もし仮にとある物は他州ならば「それは通じ易い一方で指導出来ない」ということは偽である

仮説: あの薬王菩薩は通じ易いけれどそれは指導出来ない
1. 事実13から、推論1: "もし「あの解説本は住み易くないかもしくは運転し易くないかもしくは両方ともだ」ということは誤っていればそれは所らしくない"が導かれる
2. 事実2と事実1から、推論2: "「あの解説本は住み易くないかそれは運転し易いということはないか両方である」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "あの解説本は所らしくない"が導かれる
4. 推論3と事実3から、推論4: "あの収入増は太いが所らしくない"が導かれる
5. 事実10から、推論5: "もしもあの収入増が太いがしかしそれが所らしくないなら他州でない"が導かれる
6. 推論4と推論5から、推論6: "あの収入増は他州であるということはない"が導かれる
7. 推論6と事実16から、仮説が導かれる

よって、仮説が証明されました。