もしもこの空堀が四角くないとすればこの下宿代は保護主義的貿易政策であるし煩わしい
fact1: 「この日本人青年は反応し易い一方で捨て難くない」ということは誤っているとしたらこの下宿代は煩わしい fact2: 「もし仮に「この空堀は浅ましない」ということは誤っているとしたらこの抗アレルギー性は煩わしくないしおまけに保護主義的貿易政策でない」ということは成り立つ fact3: もし仮にこの日本人青年が動き易いかあるいは浅ましないなら「この空堀は浅まし」ということは成り立つ fact4: あの取り締まり役会決議は四角い fact5: もしもその社会学者が浅ましならこの下宿代は浅まし fact6: 煩わしくないものは捨て難いしその上四角い fact7: なんらかのものは浅ましならば「保護主義的貿易政策だ」ということは成り立つ fact8: もしこの空堀は四角くないならば「この日本人青年は反応し易いがしかし捨て難いということはない」ということは成り立たない fact9: その社会学者は浅まし
void -> assump1: 以下のように仮定する。この空堀は四角くない; fact8 & assump1 -> int1: 「この日本人青年は反応し易いけど捨て難いということはない」ということは成り立たない; int1 & fact1 -> int2: この下宿代は煩わしい; fact7 -> int3: 仮にこの下宿代が浅ましならば保護主義的貿易政策である; fact9 & fact5 -> int4: この下宿代は浅まし; int3 & int4 -> int5: この下宿代は保護主義的貿易政策である; int2 & int5 -> int6: この下宿代は保護主義的貿易政策でそれは煩わしい; [assump1] & int6 -> hypothesis;
この抗アレルギー性は捨て難い
fact10 -> int7: 仮にこの抗アレルギー性が煩わしくないなら捨て難くて更に四角い;
$facts$ = fact1: 「この日本人青年は反応し易い一方で捨て難くない」ということは誤っているとしたらこの下宿代は煩わしい fact2: 「もし仮に「この空堀は浅ましない」ということは誤っているとしたらこの抗アレルギー性は煩わしくないしおまけに保護主義的貿易政策でない」ということは成り立つ fact3: もし仮にこの日本人青年が動き易いかあるいは浅ましないなら「この空堀は浅まし」ということは成り立つ fact4: あの取り締まり役会決議は四角い fact5: もしもその社会学者が浅ましならこの下宿代は浅まし fact6: 煩わしくないものは捨て難いしその上四角い fact7: なんらかのものは浅ましならば「保護主義的貿易政策だ」ということは成り立つ fact8: もしこの空堀は四角くないならば「この日本人青年は反応し易いがしかし捨て難いということはない」ということは成り立たない fact9: その社会学者は浅まし ; $hypothesis$ = もしもこの空堀が四角くないとすればこの下宿代は保護主義的貿易政策であるし煩わしい ; $proof$ = 
void -> assump1: 以下のように仮定する。この空堀は四角くない; fact8 & assump1 -> int1: 「この日本人青年は反応し易いけど捨て難いということはない」ということは成り立たない; int1 & fact1 -> int2: この下宿代は煩わしい; fact7 -> int3: 仮にこの下宿代が浅ましならば保護主義的貿易政策である; fact9 & fact5 -> int4: この下宿代は浅まし; int3 & int4 -> int5: この下宿代は保護主義的貿易政策である; int2 & int5 -> int6: この下宿代は保護主義的貿易政策でそれは煩わしい; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「この日本人青年は反応し易い一方で捨て難くない」ということは誤っているとしたらこの下宿代は煩わしい
事実2: 「もし仮に「この空堀は浅ましない」ということは誤っているとしたらこの抗アレルギー性は煩わしくないしおまけに保護主義的貿易政策でない」ということは成り立つ
事実3: もし仮にこの日本人青年が動き易いかあるいは浅ましないなら「この空堀は浅まし」ということは成り立つ
事実4: あの取り締まり役会決議は四角い
事実5: もしもその社会学者が浅ましならこの下宿代は浅まし
事実6: 煩わしくないものは捨て難いしその上四角い
事実7: なんらかのものは浅ましならば「保護主義的貿易政策だ」ということは成り立つ
事実8: もしこの空堀は四角くないならば「この日本人青年は反応し易いがしかし捨て難いということはない」ということは成り立たない
事実9: その社会学者は浅まし

仮説: もしもこの空堀が四角くないとすればこの下宿代は保護主義的貿易政策であるし煩わしい
1. 仮定1: 以下のように仮定する。この空堀は四角くない
2. 事実8と仮定1から、推論1: "「この日本人青年は反応し易いけど捨て難いということはない」ということは成り立たない"が導かれる
3. 推論1と事実1から、推論2: "この下宿代は煩わしい"が導かれる
4. 事実7から、推論3: "仮にこの下宿代が浅ましならば保護主義的貿易政策である"が導かれる
5. 事実9と事実5から、推論4: "この下宿代は浅まし"が導かれる
6. 推論3と推論4から、推論5: "この下宿代は保護主義的貿易政策である"が導かれる
7. 推論2と推論5から、推論6: "この下宿代は保護主義的貿易政策でそれは煩わしい"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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