この救済手段は通じ易くない
fact1: もし仮にあのイコールが勝ち易いということはないならばこの内科・外科・産婦人科・小児科・精神科は香しいししかも切り難い fact2: あのイコールは勝ち易い fact3: もし仮に「何らかの物は須田町食堂であるししかもそれは日経平均である」ということは成り立つということはないとしたらそれは須田町食堂でない fact4: 「なにかは通じ易いということはないか勝ち易いかまたはどちらもだ」ということは嘘ならばそれは示し易くない fact5: もしも「あのイコールが香しいしその上それは勝ち易い」ということは事実だとしたらあのＮＫＭは示し易くない fact6: 仮にあのイコールが勝ち易いが通じ易くないならばあの救済手段は通じ易い fact7: もし仮にあのＮＫＭが示し易くないならこの救済手段は示し易くない fact8: もし「あのＮＫＭは切り難くなくて香しいということはない」ということは誤りであるとすればあのイコールは香しかない fact9: そのアルカリ性は遁走しないけど繋がり易い fact10: 仮にあのＮＫＭは示し易くないなら「この救済手段は切り難くないかもしくは示し易いかどちらもだ」ということは間違っている fact11: あのイコールは香しい fact12: ある物が待ち合わせないとすると切り難いし更に示し易い fact13: もし「そのアルカリ性はチェケである」ということは真実だとすればあの学生ビザはチェケでない fact14: この救済手段は示し易くない fact15: もしそのアルカリ性が遁走しない一方で繋がり易いなら「それはチェケである」ということは成り立つ fact16: 「あるものは切り難くないかあるいはそれは示し易い」ということは間違いであるとしたらそれは通じ易くない fact17: もしもこの学生ビザはチェケでないならば「それは須田町食堂であるし更に日経平均である」ということは成り立つということはない fact18: 香しかないものは勝ち易いけれど通じ易くない fact19: もし仮にとある物が須田町食堂だということはないとすればそれは大火事でなくてかつ待ち合わせない
fact11 & fact2 -> int1: あのイコールは香しくて勝ち易い; int1 & fact5 -> int2: あのＮＫＭは示し易くない; int2 & fact10 -> int3: 「この救済手段は切り難いということはないかまたは示し易い」ということは成り立たない; fact16 -> int4: 「この救済手段は切り難くないかあるいは示し易いかあるいは両方だ」ということは間違いならば通じ易くない; int3 & int4 -> hypothesis;
この救済手段は通じ易い
fact25 -> int5: もしあのイコールが香しかないならばそれは勝ち易いが通じ易くない; fact23 -> int6: もしもこの学生ビザが待ち合わせるということはないとすれば切り難いしおまけに示し易い; fact22 -> int7: もし仮にこの学生ビザが須田町食堂でないならそれは大火事でなくて待ち合わせない; fact28 -> int8: 「この学生ビザは須田町食堂であるし日経平均だ」ということは誤っていれば須田町食堂でない; fact21 & fact26 -> int9: そのアルカリ性はチェケである; fact29 & int9 -> int10: この学生ビザはチェケでない; fact20 & int10 -> int11: 「この学生ビザは須田町食堂であるし日経平均である」ということは間違いである; int8 & int11 -> int12: 「この学生ビザは須田町食堂でない」ということは成り立つ; int7 & int12 -> int13: この学生ビザは大火事でなくてしかも待ち合わせない; int13 -> int14: この学生ビザは待ち合わせない; int6 & int14 -> int15: この学生ビザは切り難くてそれに示し易い; int15 -> int16: この学生ビザは切り難い; int16 -> int17: なにがしかの物は切り難い;
$facts$ = fact1: もし仮にあのイコールが勝ち易いということはないならばこの内科・外科・産婦人科・小児科・精神科は香しいししかも切り難い fact2: あのイコールは勝ち易い fact3: もし仮に「何らかの物は須田町食堂であるししかもそれは日経平均である」ということは成り立つということはないとしたらそれは須田町食堂でない fact4: 「なにかは通じ易いということはないか勝ち易いかまたはどちらもだ」ということは嘘ならばそれは示し易くない fact5: もしも「あのイコールが香しいしその上それは勝ち易い」ということは事実だとしたらあのＮＫＭは示し易くない fact6: 仮にあのイコールが勝ち易いが通じ易くないならばあの救済手段は通じ易い fact7: もし仮にあのＮＫＭが示し易くないならこの救済手段は示し易くない fact8: もし「あのＮＫＭは切り難くなくて香しいということはない」ということは誤りであるとすればあのイコールは香しかない fact9: そのアルカリ性は遁走しないけど繋がり易い fact10: 仮にあのＮＫＭは示し易くないなら「この救済手段は切り難くないかもしくは示し易いかどちらもだ」ということは間違っている fact11: あのイコールは香しい fact12: ある物が待ち合わせないとすると切り難いし更に示し易い fact13: もし「そのアルカリ性はチェケである」ということは真実だとすればあの学生ビザはチェケでない fact14: この救済手段は示し易くない fact15: もしそのアルカリ性が遁走しない一方で繋がり易いなら「それはチェケである」ということは成り立つ fact16: 「あるものは切り難くないかあるいはそれは示し易い」ということは間違いであるとしたらそれは通じ易くない fact17: もしもこの学生ビザはチェケでないならば「それは須田町食堂であるし更に日経平均である」ということは成り立つということはない fact18: 香しかないものは勝ち易いけれど通じ易くない fact19: もし仮にとある物が須田町食堂だということはないとすればそれは大火事でなくてかつ待ち合わせない ; $hypothesis$ = この救済手段は通じ易くない ; $proof$ = 
fact11 & fact2 -> int1: あのイコールは香しくて勝ち易い; int1 & fact5 -> int2: あのＮＫＭは示し易くない; int2 & fact10 -> int3: 「この救済手段は切り難いということはないかまたは示し易い」ということは成り立たない; fact16 -> int4: 「この救済手段は切り難くないかあるいは示し易いかあるいは両方だ」ということは間違いならば通じ易くない; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にあのイコールが勝ち易いということはないならばこの内科・外科・産婦人科・小児科・精神科は香しいししかも切り難い
事実2: あのイコールは勝ち易い
事実3: もし仮に「何らかの物は須田町食堂であるししかもそれは日経平均である」ということは成り立つということはないとしたらそれは須田町食堂でない
事実4: 「なにかは通じ易いということはないか勝ち易いかまたはどちらもだ」ということは嘘ならばそれは示し易くない
事実5: もしも「あのイコールが香しいしその上それは勝ち易い」ということは事実だとしたらあのＮＫＭは示し易くない
事実6: 仮にあのイコールが勝ち易いが通じ易くないならばあの救済手段は通じ易い
事実7: もし仮にあのＮＫＭが示し易くないならこの救済手段は示し易くない
事実8: もし「あのＮＫＭは切り難くなくて香しいということはない」ということは誤りであるとすればあのイコールは香しかない
事実9: そのアルカリ性は遁走しないけど繋がり易い
事実10: 仮にあのＮＫＭは示し易くないなら「この救済手段は切り難くないかもしくは示し易いかどちらもだ」ということは間違っている
事実11: あのイコールは香しい
事実12: ある物が待ち合わせないとすると切り難いし更に示し易い
事実13: もし「そのアルカリ性はチェケである」ということは真実だとすればあの学生ビザはチェケでない
事実14: この救済手段は示し易くない
事実15: もしそのアルカリ性が遁走しない一方で繋がり易いなら「それはチェケである」ということは成り立つ
事実16: 「あるものは切り難くないかあるいはそれは示し易い」ということは間違いであるとしたらそれは通じ易くない
事実17: もしもこの学生ビザはチェケでないならば「それは須田町食堂であるし更に日経平均である」ということは成り立つということはない
事実18: 香しかないものは勝ち易いけれど通じ易くない
事実19: もし仮にとある物が須田町食堂だということはないとすればそれは大火事でなくてかつ待ち合わせない

仮説: この救済手段は通じ易くない
1. 事実11と事実2から、推論1: "あのイコールは香しくて勝ち易い"が導かれる
2. 推論1と事実5から、推論2: "あのＮＫＭは示し易くない"が導かれる
3. 推論2と事実10から、推論3: "「この救済手段は切り難いということはないかまたは示し易い」ということは成り立たない"が導かれる
4. 事実16から、推論4: "「この救済手段は切り難くないかあるいは示し易いかあるいは両方だ」ということは間違いならば通じ易くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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