この大内軍は涙ぐましくない
fact1: もしも何かは跳ね回るとすれば涙ぐましくない fact2: もしこの大内軍は其れらしくないかまたは付するかあるいは両方であるとしたらそれは断面寸法でない fact3: もし仮にこの大内軍は断面寸法でないとしたら「このストロベリーは焼べる一方で断面寸法だということはない」ということは本当でない fact4: もしあの有害ガスは理屈っぽいがしかし活動し難くないなら「このストロベリーは理屈っぽくない」ということは成り立つ fact5: もし仮にその水冷が比丘達でないがそれは縄文社会なら「あの有害ガスは理屈っぽいということはない」ということは事実と異ならない fact6: もしあの有害ガスが理屈っぽくないならばこのストロベリーは断面寸法であるしそれは跳ね回る fact7: もし仮に「とあるものは活動し難いしかつ独系メーカーだ」ということは間違っているとすると焼べるない fact8: その水冷は比丘達でない fact9: もしもこのストロベリーが焼べるない一方で跳ね回るとすればあの大内軍は跳ね回らない fact10: この角張成阿弥陀仏は活動し難くない fact11: もしも「ある物は其れらしいということはないかもしくは付するかあるいは両方である」ということは成り立たないとすると「それは跳ね回る」ということは確かだ fact12: 仮に「このストロベリーは理屈っぽくない」ということは成り立てばそれは焼べるし加えてそれは断面寸法でない fact13: もしもあの有害ガスは其れらしくないとしたら「この大内軍は活動し難いが其れらしくない」ということは事実と異なる fact14: あの有害ガスは理屈っぽいけれど活動し難くない fact15: なんらかのものが跳ね回らないとすると涙ぐましい
void -> assump1: 以下のように仮定する。この大内軍は其れらしくないかあるいはそれは付するかまたは両方ともである; fact2 & assump1 -> int1: この大内軍は断面寸法でない; int1 & fact3 -> int2: 「このストロベリーは焼べるがしかし断面寸法でない」ということは嘘である; fact4 & fact14 -> int3: このストロベリーは理屈っぽいということはない; fact12 & int3 -> int4: このストロベリーは焼べる一方でそれは断面寸法でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この大内軍は其れらしくないかあるいは付するか両方だ」ということは成り立たない; fact11 -> int7: もし仮に「この大内軍は其れらしいということはないかまたは付するかまたは両方だ」ということは誤りなら跳ね回る; int6 & int7 -> int8: この大内軍は跳ね回る; fact1 -> int9: もし仮にこの大内軍が跳ね回るとすれば涙ぐましくない; int8 & int9 -> hypothesis;
「この大内軍は涙ぐましい」ということは確かである
fact20 -> int10: もしこの大内軍が跳ね回らないとすればそれは涙ぐましい; fact16 -> int11: もし「このストロベリーは活動し難いし独系メーカーである」ということは成り立たないとすると焼べるない; fact21 -> int12: 「活動し難くない」ものはある;
$facts$ = fact1: もしも何かは跳ね回るとすれば涙ぐましくない fact2: もしこの大内軍は其れらしくないかまたは付するかあるいは両方であるとしたらそれは断面寸法でない fact3: もし仮にこの大内軍は断面寸法でないとしたら「このストロベリーは焼べる一方で断面寸法だということはない」ということは本当でない fact4: もしあの有害ガスは理屈っぽいがしかし活動し難くないなら「このストロベリーは理屈っぽくない」ということは成り立つ fact5: もし仮にその水冷が比丘達でないがそれは縄文社会なら「あの有害ガスは理屈っぽいということはない」ということは事実と異ならない fact6: もしあの有害ガスが理屈っぽくないならばこのストロベリーは断面寸法であるしそれは跳ね回る fact7: もし仮に「とあるものは活動し難いしかつ独系メーカーだ」ということは間違っているとすると焼べるない fact8: その水冷は比丘達でない fact9: もしもこのストロベリーが焼べるない一方で跳ね回るとすればあの大内軍は跳ね回らない fact10: この角張成阿弥陀仏は活動し難くない fact11: もしも「ある物は其れらしいということはないかもしくは付するかあるいは両方である」ということは成り立たないとすると「それは跳ね回る」ということは確かだ fact12: 仮に「このストロベリーは理屈っぽくない」ということは成り立てばそれは焼べるし加えてそれは断面寸法でない fact13: もしもあの有害ガスは其れらしくないとしたら「この大内軍は活動し難いが其れらしくない」ということは事実と異なる fact14: あの有害ガスは理屈っぽいけれど活動し難くない fact15: なんらかのものが跳ね回らないとすると涙ぐましい ; $hypothesis$ = この大内軍は涙ぐましくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この大内軍は其れらしくないかあるいはそれは付するかまたは両方ともである; fact2 & assump1 -> int1: この大内軍は断面寸法でない; int1 & fact3 -> int2: 「このストロベリーは焼べるがしかし断面寸法でない」ということは嘘である; fact4 & fact14 -> int3: このストロベリーは理屈っぽいということはない; fact12 & int3 -> int4: このストロベリーは焼べる一方でそれは断面寸法でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この大内軍は其れらしくないかあるいは付するか両方だ」ということは成り立たない; fact11 -> int7: もし仮に「この大内軍は其れらしいということはないかまたは付するかまたは両方だ」ということは誤りなら跳ね回る; int6 & int7 -> int8: この大内軍は跳ね回る; fact1 -> int9: もし仮にこの大内軍が跳ね回るとすれば涙ぐましくない; int8 & int9 -> hypothesis; __PROVED__
事実1: もしも何かは跳ね回るとすれば涙ぐましくない
事実2: もしこの大内軍は其れらしくないかまたは付するかあるいは両方であるとしたらそれは断面寸法でない
事実3: もし仮にこの大内軍は断面寸法でないとしたら「このストロベリーは焼べる一方で断面寸法だということはない」ということは本当でない
事実4: もしあの有害ガスは理屈っぽいがしかし活動し難くないなら「このストロベリーは理屈っぽくない」ということは成り立つ
事実5: もし仮にその水冷が比丘達でないがそれは縄文社会なら「あの有害ガスは理屈っぽいということはない」ということは事実と異ならない
事実6: もしあの有害ガスが理屈っぽくないならばこのストロベリーは断面寸法であるしそれは跳ね回る
事実7: もし仮に「とあるものは活動し難いしかつ独系メーカーだ」ということは間違っているとすると焼べるない
事実8: その水冷は比丘達でない
事実9: もしもこのストロベリーが焼べるない一方で跳ね回るとすればあの大内軍は跳ね回らない
事実10: この角張成阿弥陀仏は活動し難くない
事実11: もしも「ある物は其れらしいということはないかもしくは付するかあるいは両方である」ということは成り立たないとすると「それは跳ね回る」ということは確かだ
事実12: 仮に「このストロベリーは理屈っぽくない」ということは成り立てばそれは焼べるし加えてそれは断面寸法でない
事実13: もしもあの有害ガスは其れらしくないとしたら「この大内軍は活動し難いが其れらしくない」ということは事実と異なる
事実14: あの有害ガスは理屈っぽいけれど活動し難くない
事実15: なんらかのものが跳ね回らないとすると涙ぐましい

仮説: この大内軍は涙ぐましくない
1. 仮定1: 以下のように仮定する。この大内軍は其れらしくないかあるいはそれは付するかまたは両方ともである
2. 事実2と仮定1から、推論1: "この大内軍は断面寸法でない"が導かれる
3. 推論1と事実3から、推論2: "「このストロベリーは焼べるがしかし断面寸法でない」ということは嘘である"が導かれる
4. 事実4と事実14から、推論3: "このストロベリーは理屈っぽいということはない"が導かれる
5. 事実12と推論3から、推論4: "このストロベリーは焼べる一方でそれは断面寸法でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この大内軍は其れらしくないかあるいは付するか両方だ」ということは成り立たない"が導かれる
8. 事実11から、推論7: "もし仮に「この大内軍は其れらしいということはないかまたは付するかまたは両方だ」ということは誤りなら跳ね回る"が導かれる
9. 推論6と推論7から、推論8: "この大内軍は跳ね回る"が導かれる
10. 事実1から、推論9: "もし仮にこの大内軍が跳ね回るとすれば涙ぐましくない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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