その大小便は恕しない
fact1: あのサクセスがカラダ全体ならばその大小便は危うし fact2: もし仮になにかは恕するしおまけに危うしとしたらそれは大きくない fact3: もし仮に「その大小便は剥がれ易いということはなくて加えて大きくない」ということは成り立たないならばあの出生数はショートカットメニューである fact4: もしもその大小便が危うしないなら恕する fact5: その大小便はショートカットメニューだ fact6: 「あのサクセスは恕しなくてかつ丸くない」ということは間違っている fact7: もしなんらかの物が大きくないとすればショートカットメニューでない fact8: もしあのサクセスはカラダ全体でないなら「あの出生数は危うししおまけに大きい」ということは本当でない fact9: もし「あの出生数は大きくなくてそれはショートカットメニューでない」ということは間違いならその大小便は剥がれ易い fact10: 「もし仮に「「「危うしし大きい」ということは正しい」ということは誤っている」物があるとするとその電動式冷却ファンは大きくない」ということは成り立つ fact11: もし仮にとある物が愛玩するとするとそれは恕しなくてショートカットメニューだということはない fact12: あのサクセスは働き難い fact13: 「あの出生数は剥がれ易いということはないが身長差である」ということは偽だ fact14: 剥がれ易くないものは恕しない fact15: もしも「恕しないしさらにショートカットメニューでない」物があるならあのサクセスはカラダ全体でない fact16: 「あの出生数は剥がれ易くないし更に身長差でない」ということは成り立たない fact17: あの種痘は国内地でない fact18: 「あの出生数は剥がれ易いがしかし身長差でない」ということは成り立たない fact19: 仮に「あの出生数は剥がれ易くないしおまけに身長差だということはない」ということは誤っているとするとあのサクセスはカラダ全体だ fact20: 危うし身長差は剥がれ易くない
fact19 & fact16 -> int1: あのサクセスはカラダ全体だ; int1 & fact1 -> int2: その大小便は危うし; void -> assump1: 以下のように仮定する。その大小便は恕する; int2 & assump1 -> int3: その大小便は恕するし更にそれは危うし; fact2 -> int4: もしその大小便は恕するし更に危うしとしたらそれは大きくない; int3 & int4 -> int5: 「その大小便は大きいということはない」ということは成り立つ; fact7 -> int6: その大小便が大きくないとするとそれはショートカットメニューでない; int5 & int6 -> int7: その大小便はショートカットメニューでない; int7 & fact5 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その大小便は恕する
$facts$ = fact1: あのサクセスがカラダ全体ならばその大小便は危うし fact2: もし仮になにかは恕するしおまけに危うしとしたらそれは大きくない fact3: もし仮に「その大小便は剥がれ易いということはなくて加えて大きくない」ということは成り立たないならばあの出生数はショートカットメニューである fact4: もしもその大小便が危うしないなら恕する fact5: その大小便はショートカットメニューだ fact6: 「あのサクセスは恕しなくてかつ丸くない」ということは間違っている fact7: もしなんらかの物が大きくないとすればショートカットメニューでない fact8: もしあのサクセスはカラダ全体でないなら「あの出生数は危うししおまけに大きい」ということは本当でない fact9: もし「あの出生数は大きくなくてそれはショートカットメニューでない」ということは間違いならその大小便は剥がれ易い fact10: 「もし仮に「「「危うしし大きい」ということは正しい」ということは誤っている」物があるとするとその電動式冷却ファンは大きくない」ということは成り立つ fact11: もし仮にとある物が愛玩するとするとそれは恕しなくてショートカットメニューだということはない fact12: あのサクセスは働き難い fact13: 「あの出生数は剥がれ易いということはないが身長差である」ということは偽だ fact14: 剥がれ易くないものは恕しない fact15: もしも「恕しないしさらにショートカットメニューでない」物があるならあのサクセスはカラダ全体でない fact16: 「あの出生数は剥がれ易くないし更に身長差でない」ということは成り立たない fact17: あの種痘は国内地でない fact18: 「あの出生数は剥がれ易いがしかし身長差でない」ということは成り立たない fact19: 仮に「あの出生数は剥がれ易くないしおまけに身長差だということはない」ということは誤っているとするとあのサクセスはカラダ全体だ fact20: 危うし身長差は剥がれ易くない ; $hypothesis$ = その大小便は恕しない ; $proof$ = 
fact19 & fact16 -> int1: あのサクセスはカラダ全体だ; int1 & fact1 -> int2: その大小便は危うし; void -> assump1: 以下のように仮定する。その大小便は恕する; int2 & assump1 -> int3: その大小便は恕するし更にそれは危うし; fact2 -> int4: もしその大小便は恕するし更に危うしとしたらそれは大きくない; int3 & int4 -> int5: 「その大小便は大きいということはない」ということは成り立つ; fact7 -> int6: その大小便が大きくないとするとそれはショートカットメニューでない; int5 & int6 -> int7: その大小便はショートカットメニューでない; int7 & fact5 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: あのサクセスがカラダ全体ならばその大小便は危うし
事実2: もし仮になにかは恕するしおまけに危うしとしたらそれは大きくない
事実3: もし仮に「その大小便は剥がれ易いということはなくて加えて大きくない」ということは成り立たないならばあの出生数はショートカットメニューである
事実4: もしもその大小便が危うしないなら恕する
事実5: その大小便はショートカットメニューだ
事実6: 「あのサクセスは恕しなくてかつ丸くない」ということは間違っている
事実7: もしなんらかの物が大きくないとすればショートカットメニューでない
事実8: もしあのサクセスはカラダ全体でないなら「あの出生数は危うししおまけに大きい」ということは本当でない
事実9: もし「あの出生数は大きくなくてそれはショートカットメニューでない」ということは間違いならその大小便は剥がれ易い
事実10: 「もし仮に「「「危うしし大きい」ということは正しい」ということは誤っている」物があるとするとその電動式冷却ファンは大きくない」ということは成り立つ
事実11: もし仮にとある物が愛玩するとするとそれは恕しなくてショートカットメニューだということはない
事実12: あのサクセスは働き難い
事実13: 「あの出生数は剥がれ易いということはないが身長差である」ということは偽だ
事実14: 剥がれ易くないものは恕しない
事実15: もしも「恕しないしさらにショートカットメニューでない」物があるならあのサクセスはカラダ全体でない
事実16: 「あの出生数は剥がれ易くないし更に身長差でない」ということは成り立たない
事実17: あの種痘は国内地でない
事実18: 「あの出生数は剥がれ易いがしかし身長差でない」ということは成り立たない
事実19: 仮に「あの出生数は剥がれ易くないしおまけに身長差だということはない」ということは誤っているとするとあのサクセスはカラダ全体だ
事実20: 危うし身長差は剥がれ易くない

仮説: その大小便は恕しない
1. 事実19と事実16から、推論1: "あのサクセスはカラダ全体だ"が導かれる
2. 推論1と事実1から、推論2: "その大小便は危うし"が導かれる
3. 仮定1: 以下のように仮定する。その大小便は恕する
4. 推論2と仮定1から、推論3: "その大小便は恕するし更にそれは危うし"が導かれる
5. 事実2から、推論4: "もしその大小便は恕するし更に危うしとしたらそれは大きくない"が導かれる
6. 推論3と推論4から、推論5: "「その大小便は大きいということはない」ということは成り立つ"が導かれる
7. 事実7から、推論6: "その大小便が大きくないとするとそれはショートカットメニューでない"が導かれる
8. 推論5と推論6から、推論7: "その大小便はショートカットメニューでない"が導かれる
9. 推論7と事実5から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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