「もしも入れ過ぎるとしたら徴兵しないし掛け易くない」物はある
fact1: もし仮にその悪態が付け易くないならば徴兵しない fact2: もしもその悪態が付け易くないならばそれは躱し切れないしそれは徴兵しない fact3: すべては御相談する fact4: 「もしも「入れ過ぎる」ということは真実であるならば掛け易いということはない」物はある fact5: 「仮に入れ過ぎれば徴兵するということはない」物はある fact6: もし仮にそのＣＡＦＥが付け易くなくて賃貸マンションでないならば「その悪態は賃貸マンションでない」ということは成り立つ fact7: もし仮にそのＣＡＦＥが開発するとすればその生死は賃貸マンションでないしそれは痔核手術でない fact8: 仮にその悪態が躱し切れないがしかしそれが徴兵するとするとそのＣＡＦＥは徴兵しない fact9: もしなんらかのものは学するし出現し易いとしたら「開発しない」ということは正しい fact10: もしも「なんらかのものは入れ過ぎないし掛け易くない」ということは嘘だとするとそれは開発する fact11: その勅使は賃貸マンションでない fact12: そのＣＡＦＥは開発するし更にそれは賃貸マンションである fact13: あるものがあしらわないならそれは躱し切れない fact14: もしも賃貸マンションが入れ過ぎるとすれば掛け易くない fact15: 何かは徴兵するなら「入れ過ぎないし更に掛け易いということはない」ということは成り立たない fact16: その悪態は忍び寄らない fact17: その悪態は徴兵するということはない fact18: 仮にその悪態が躱し切れないしそれが徴兵しないとすればそのＣＡＦＥは徴兵するということはない fact19: 御高くない東禅寺事件はあしらうということはない fact20: 「もしも入れ過ぎるとすれば徴兵するということはないししかも掛け易い」ものはある fact21: そのＣＡＦＥが付け易いということはないしかつ徴兵しないとすればその悪態は徴兵しない fact22: そのＣＡＦＥは躱し切れないしまた参与するということはない fact23: 「もし入れ過ぎるとすると徴兵するけれど掛け易くない」物はある fact24: その悪態は付け易くない fact25: そのＣＡＦＥは開発する
fact12 -> int1: そのＣＡＦＥは賃貸マンションである; void -> assump1: 以下のように仮定する。そのＣＡＦＥは入れ過ぎる; int1 & assump1 -> int2: そのＣＡＦＥは賃貸マンションであるし加えて入れ過ぎる; fact14 -> int3: もしもそのＣＡＦＥは賃貸マンションでおまけに入れ過ぎるとするとそれは掛け易くない; int2 & int3 -> int4: そのＣＡＦＥは掛け易くない; fact24 & fact2 -> int5: その悪態は躱し切れるということはないしその上徴兵しない; int5 & fact18 -> int6: そのＣＡＦＥは徴兵しない; int4 & int6 -> int7: そのＣＡＦＥは徴兵しないししかもそれは掛け易くない; [assump1] & int7 -> int8: 仮にそのＣＡＦＥが入れ過ぎるなら徴兵しなくてそれにそれは掛け易くない; int8 -> hypothesis;
その生死は賃貸マンションでないし加えて痔核手術でない
fact29 -> int9: もしも「そのＣＡＦＥが入れ過ぎないしさらにそれは掛け易くない」ということは嘘ならばそれは開発する; fact30 -> int10: もしもそのＣＡＦＥは徴兵するとしたら「入れ過ぎなくて更に掛け易くない」ということは成り立たない; fact28 -> int11: もしそのＣＡＦＥがあしらわないとすれば躱し切れない; fact26 -> int12: 仮にその悪態は東禅寺事件であるがしかし御高くないとしたらそれはあしらわない; fact27 -> int13: 「その悪態は御相談する」ということは成り立つ;
$facts$ = fact1: もし仮にその悪態が付け易くないならば徴兵しない fact2: もしもその悪態が付け易くないならばそれは躱し切れないしそれは徴兵しない fact3: すべては御相談する fact4: 「もしも「入れ過ぎる」ということは真実であるならば掛け易いということはない」物はある fact5: 「仮に入れ過ぎれば徴兵するということはない」物はある fact6: もし仮にそのＣＡＦＥが付け易くなくて賃貸マンションでないならば「その悪態は賃貸マンションでない」ということは成り立つ fact7: もし仮にそのＣＡＦＥが開発するとすればその生死は賃貸マンションでないしそれは痔核手術でない fact8: 仮にその悪態が躱し切れないがしかしそれが徴兵するとするとそのＣＡＦＥは徴兵しない fact9: もしなんらかのものは学するし出現し易いとしたら「開発しない」ということは正しい fact10: もしも「なんらかのものは入れ過ぎないし掛け易くない」ということは嘘だとするとそれは開発する fact11: その勅使は賃貸マンションでない fact12: そのＣＡＦＥは開発するし更にそれは賃貸マンションである fact13: あるものがあしらわないならそれは躱し切れない fact14: もしも賃貸マンションが入れ過ぎるとすれば掛け易くない fact15: 何かは徴兵するなら「入れ過ぎないし更に掛け易いということはない」ということは成り立たない fact16: その悪態は忍び寄らない fact17: その悪態は徴兵するということはない fact18: 仮にその悪態が躱し切れないしそれが徴兵しないとすればそのＣＡＦＥは徴兵するということはない fact19: 御高くない東禅寺事件はあしらうということはない fact20: 「もしも入れ過ぎるとすれば徴兵するということはないししかも掛け易い」ものはある fact21: そのＣＡＦＥが付け易いということはないしかつ徴兵しないとすればその悪態は徴兵しない fact22: そのＣＡＦＥは躱し切れないしまた参与するということはない fact23: 「もし入れ過ぎるとすると徴兵するけれど掛け易くない」物はある fact24: その悪態は付け易くない fact25: そのＣＡＦＥは開発する ; $hypothesis$ = 「もしも入れ過ぎるとしたら徴兵しないし掛け易くない」物はある ; $proof$ = 
fact12 -> int1: そのＣＡＦＥは賃貸マンションである; void -> assump1: 以下のように仮定する。そのＣＡＦＥは入れ過ぎる; int1 & assump1 -> int2: そのＣＡＦＥは賃貸マンションであるし加えて入れ過ぎる; fact14 -> int3: もしもそのＣＡＦＥは賃貸マンションでおまけに入れ過ぎるとするとそれは掛け易くない; int2 & int3 -> int4: そのＣＡＦＥは掛け易くない; fact24 & fact2 -> int5: その悪態は躱し切れるということはないしその上徴兵しない; int5 & fact18 -> int6: そのＣＡＦＥは徴兵しない; int4 & int6 -> int7: そのＣＡＦＥは徴兵しないししかもそれは掛け易くない; [assump1] & int7 -> int8: 仮にそのＣＡＦＥが入れ過ぎるなら徴兵しなくてそれにそれは掛け易くない; int8 -> hypothesis; __PROVED__
事実1: もし仮にその悪態が付け易くないならば徴兵しない
事実2: もしもその悪態が付け易くないならばそれは躱し切れないしそれは徴兵しない
事実3: すべては御相談する
事実4: 「もしも「入れ過ぎる」ということは真実であるならば掛け易いということはない」物はある
事実5: 「仮に入れ過ぎれば徴兵するということはない」物はある
事実6: もし仮にそのＣＡＦＥが付け易くなくて賃貸マンションでないならば「その悪態は賃貸マンションでない」ということは成り立つ
事実7: もし仮にそのＣＡＦＥが開発するとすればその生死は賃貸マンションでないしそれは痔核手術でない
事実8: 仮にその悪態が躱し切れないがしかしそれが徴兵するとするとそのＣＡＦＥは徴兵しない
事実9: もしなんらかのものは学するし出現し易いとしたら「開発しない」ということは正しい
事実10: もしも「なんらかのものは入れ過ぎないし掛け易くない」ということは嘘だとするとそれは開発する
事実11: その勅使は賃貸マンションでない
事実12: そのＣＡＦＥは開発するし更にそれは賃貸マンションである
事実13: あるものがあしらわないならそれは躱し切れない
事実14: もしも賃貸マンションが入れ過ぎるとすれば掛け易くない
事実15: 何かは徴兵するなら「入れ過ぎないし更に掛け易いということはない」ということは成り立たない
事実16: その悪態は忍び寄らない
事実17: その悪態は徴兵するということはない
事実18: 仮にその悪態が躱し切れないしそれが徴兵しないとすればそのＣＡＦＥは徴兵するということはない
事実19: 御高くない東禅寺事件はあしらうということはない
事実20: 「もしも入れ過ぎるとすれば徴兵するということはないししかも掛け易い」ものはある
事実21: そのＣＡＦＥが付け易いということはないしかつ徴兵しないとすればその悪態は徴兵しない
事実22: そのＣＡＦＥは躱し切れないしまた参与するということはない
事実23: 「もし入れ過ぎるとすると徴兵するけれど掛け易くない」物はある
事実24: その悪態は付け易くない
事実25: そのＣＡＦＥは開発する

仮説: 「もしも入れ過ぎるとしたら徴兵しないし掛け易くない」物はある
1. 事実12から、推論1: "そのＣＡＦＥは賃貸マンションである"が導かれる
2. 仮定1: 以下のように仮定する。そのＣＡＦＥは入れ過ぎる
3. 推論1と仮定1から、推論2: "そのＣＡＦＥは賃貸マンションであるし加えて入れ過ぎる"が導かれる
4. 事実14から、推論3: "もしもそのＣＡＦＥは賃貸マンションでおまけに入れ過ぎるとするとそれは掛け易くない"が導かれる
5. 推論2と推論3から、推論4: "そのＣＡＦＥは掛け易くない"が導かれる
6. 事実24と事実2から、推論5: "その悪態は躱し切れるということはないしその上徴兵しない"が導かれる
7. 推論5と事実18から、推論6: "そのＣＡＦＥは徴兵しない"が導かれる
8. 推論4と推論6から、推論7: "そのＣＡＦＥは徴兵しないししかもそれは掛け易くない"が導かれる
9. [仮定1]と推論7から、推論8: "仮にそのＣＡＦＥが入れ過ぎるなら徴兵しなくてそれにそれは掛け易くない"が導かれる
10. 推論8から、仮説が導かれる

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