あの油通しは長柄でない
fact1: 仮にあの心エコーが町側であるかあるいはそれは間引きすれば「あの油通しは長柄でない」ということは成り立つ fact2: もし仮にあの心エコーが長柄であるということはないしかつ訴求しないならあの油通しは長柄だ fact3: 「この聖家族は焼きするということはないし加えて心強くない」ということは成り立たない fact4: もしもこの意味表示は潔くないとしたら「「あの設置促進は可笑ししおまけに所らしい」ということは成り立つ」ということは嘘である fact5: 「あの油通しは貧乏臭くない」ということは事実である fact6: 「「懐かしし長柄だ」ということは成り立たない」物があるとするとあの油通しは訴求する fact7: もし仮に「何かは可笑しし所らしい」ということは間違いならばそれは所らしいということはない fact8: あの油通しは強しない fact9: もしも「この聖家族は焼きしなくておまけに心強くない」ということは間違っているならこの意味表示は潔くない fact10: なんらかの物が訴求するとすればそれは動揺し易い fact11: もしあの油通しが長柄であるかそれが町側であるとすればあの心エコーは間引きしない fact12: ある物は所らしくないなら「懐かししさらに長柄である」ということは誤っている fact13: もし仮にあの心エコーが間引きするとすればあの油通しは長柄でない fact14: 仮に何らかのものは所らしくないなら「懐かしかまたはそれは間引きしないかもしくは両方ともだ」ということは誤っている fact15: 仮に「あの油通しは強しない」ということは本当であるならそれは間引きしない fact16: もし仮にあの油通しが間引きしないが訴求するとしたらあの心エコーは訴求する fact17: あの心エコーは訴求するししかも町側である
fact17 -> int1: 「あの心エコーは町側だ」ということは正しい; int1 -> int2: あの心エコーは町側であるかもしくは間引きするかあるいは両方ともである; int2 & fact1 -> hypothesis;
fact17 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact1 -> hypothesis;
あの油通しは長柄だ
fact18 -> int3: もしもあの設置促進は所らしくないとしたら「懐かしかもしくは間引きしないかまたは両方だ」ということは間違いである;
$facts$ = fact1: 仮にあの心エコーが町側であるかあるいはそれは間引きすれば「あの油通しは長柄でない」ということは成り立つ fact2: もし仮にあの心エコーが長柄であるということはないしかつ訴求しないならあの油通しは長柄だ fact3: 「この聖家族は焼きするということはないし加えて心強くない」ということは成り立たない fact4: もしもこの意味表示は潔くないとしたら「「あの設置促進は可笑ししおまけに所らしい」ということは成り立つ」ということは嘘である fact5: 「あの油通しは貧乏臭くない」ということは事実である fact6: 「「懐かしし長柄だ」ということは成り立たない」物があるとするとあの油通しは訴求する fact7: もし仮に「何かは可笑しし所らしい」ということは間違いならばそれは所らしいということはない fact8: あの油通しは強しない fact9: もしも「この聖家族は焼きしなくておまけに心強くない」ということは間違っているならこの意味表示は潔くない fact10: なんらかの物が訴求するとすればそれは動揺し易い fact11: もしあの油通しが長柄であるかそれが町側であるとすればあの心エコーは間引きしない fact12: ある物は所らしくないなら「懐かししさらに長柄である」ということは誤っている fact13: もし仮にあの心エコーが間引きするとすればあの油通しは長柄でない fact14: 仮に何らかのものは所らしくないなら「懐かしかまたはそれは間引きしないかもしくは両方ともだ」ということは誤っている fact15: 仮に「あの油通しは強しない」ということは本当であるならそれは間引きしない fact16: もし仮にあの油通しが間引きしないが訴求するとしたらあの心エコーは訴求する fact17: あの心エコーは訴求するししかも町側である ; $hypothesis$ = あの油通しは長柄でない ; $proof$ = 
fact17 -> int1: 「あの心エコーは町側だ」ということは正しい; int1 -> int2: あの心エコーは町側であるかもしくは間引きするかあるいは両方ともである; int2 & fact1 -> hypothesis; __PROVED__
事実1: 仮にあの心エコーが町側であるかあるいはそれは間引きすれば「あの油通しは長柄でない」ということは成り立つ
事実2: もし仮にあの心エコーが長柄であるということはないしかつ訴求しないならあの油通しは長柄だ
事実3: 「この聖家族は焼きするということはないし加えて心強くない」ということは成り立たない
事実4: もしもこの意味表示は潔くないとしたら「「あの設置促進は可笑ししおまけに所らしい」ということは成り立つ」ということは嘘である
事実5: 「あの油通しは貧乏臭くない」ということは事実である
事実6: 「「懐かしし長柄だ」ということは成り立たない」物があるとするとあの油通しは訴求する
事実7: もし仮に「何かは可笑しし所らしい」ということは間違いならばそれは所らしいということはない
事実8: あの油通しは強しない
事実9: もしも「この聖家族は焼きしなくておまけに心強くない」ということは間違っているならこの意味表示は潔くない
事実10: なんらかの物が訴求するとすればそれは動揺し易い
事実11: もしあの油通しが長柄であるかそれが町側であるとすればあの心エコーは間引きしない
事実12: ある物は所らしくないなら「懐かししさらに長柄である」ということは誤っている
事実13: もし仮にあの心エコーが間引きするとすればあの油通しは長柄でない
事実14: 仮に何らかのものは所らしくないなら「懐かしかまたはそれは間引きしないかもしくは両方ともだ」ということは誤っている
事実15: 仮に「あの油通しは強しない」ということは本当であるならそれは間引きしない
事実16: もし仮にあの油通しが間引きしないが訴求するとしたらあの心エコーは訴求する
事実17: あの心エコーは訴求するししかも町側である

仮説: あの油通しは長柄でない
1. 事実17から、推論1: "「あの心エコーは町側だ」ということは正しい"が導かれる
2. 推論1から、推論2: "あの心エコーは町側であるかもしくは間引きするかあるいは両方ともである"が導かれる
3. 推論2と事実1から、仮説が導かれる

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