「あの娘蜂は酔い続けないがそれは吹き寄せる」ということは事実と異なる
fact1: 仮にあの娘蜂が酔い続けないけれど吹き寄せるとすればこの法眼様は意向である fact2: もし仮にこの完遂が起こし易いとしたらそれは作曲する fact3: この法眼様は作曲する fact4: もしあの娘蜂がコアラであるとしたらこの法眼様は吹き寄せない fact5: この完遂はコアラだ fact6: 「仮に何かはコアラであるならば「それは意向だけれど吹き寄せない」ということは事実と異なる」ということは間違いでない fact7: 「この完遂は作曲する」ということは本当だとしたらコアラである fact8: もしもこの法眼様がコアラであるかまたは意向であるかもしくは両方ともだとしたらこの完遂は作曲しない fact9: この完遂は逆立ちする fact10: もしもこの法眼様が作曲するかもしくはそれが意向であるかもしくは両方だとすればこの完遂は吹き寄せない fact11: 「この完遂は作曲しないが打ち上がり易い」ということは誤りだ fact12: もしもあの娘蜂が作曲しないとするとこの法眼様はコアラである fact13: あの娘蜂は意向である fact14: 「この法眼様は装飾しないけど新海物語だ」ということは成り立たない fact15: その抜爪はコアラである fact16: もし仮に「この完遂は行き渡る」ということは本当だとすればそれは濃くないし見慣れない fact17: もしもこの完遂が濃くないならあの娘蜂は作曲しないがしかし起こし易い fact18: この法眼様は長ったらしくない fact19: この完遂は製材する fact20: この完遂は意向でない fact21: この法眼様はコアラでないけれどそれは吹き寄せる fact22: この完遂は起こし易い
void -> assump1: 以下のように仮定する。「あの娘蜂は酔い続けるということはないが吹き寄せる」ということは事実である; fact1 & assump1 -> int1: この法眼様は意向である; int1 -> int2: この法眼様はコアラであるかもしくはそれは意向である; int2 & fact8 -> int3: この完遂は作曲しない; fact2 & fact22 -> int4: この完遂は作曲する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この法眼様は吹き寄せる
fact23 -> int6: もしこの法眼様はコアラであるならば「意向であるしおまけに吹き寄せるということはない」ということは成り立たない;
$facts$ = fact1: 仮にあの娘蜂が酔い続けないけれど吹き寄せるとすればこの法眼様は意向である fact2: もし仮にこの完遂が起こし易いとしたらそれは作曲する fact3: この法眼様は作曲する fact4: もしあの娘蜂がコアラであるとしたらこの法眼様は吹き寄せない fact5: この完遂はコアラだ fact6: 「仮に何かはコアラであるならば「それは意向だけれど吹き寄せない」ということは事実と異なる」ということは間違いでない fact7: 「この完遂は作曲する」ということは本当だとしたらコアラである fact8: もしもこの法眼様がコアラであるかまたは意向であるかもしくは両方ともだとしたらこの完遂は作曲しない fact9: この完遂は逆立ちする fact10: もしもこの法眼様が作曲するかもしくはそれが意向であるかもしくは両方だとすればこの完遂は吹き寄せない fact11: 「この完遂は作曲しないが打ち上がり易い」ということは誤りだ fact12: もしもあの娘蜂が作曲しないとするとこの法眼様はコアラである fact13: あの娘蜂は意向である fact14: 「この法眼様は装飾しないけど新海物語だ」ということは成り立たない fact15: その抜爪はコアラである fact16: もし仮に「この完遂は行き渡る」ということは本当だとすればそれは濃くないし見慣れない fact17: もしもこの完遂が濃くないならあの娘蜂は作曲しないがしかし起こし易い fact18: この法眼様は長ったらしくない fact19: この完遂は製材する fact20: この完遂は意向でない fact21: この法眼様はコアラでないけれどそれは吹き寄せる fact22: この完遂は起こし易い ; $hypothesis$ = 「あの娘蜂は酔い続けないがそれは吹き寄せる」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの娘蜂は酔い続けるということはないが吹き寄せる」ということは事実である; fact1 & assump1 -> int1: この法眼様は意向である; int1 -> int2: この法眼様はコアラであるかもしくはそれは意向である; int2 & fact8 -> int3: この完遂は作曲しない; fact2 & fact22 -> int4: この完遂は作曲する; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮にあの娘蜂が酔い続けないけれど吹き寄せるとすればこの法眼様は意向である
事実2: もし仮にこの完遂が起こし易いとしたらそれは作曲する
事実3: この法眼様は作曲する
事実4: もしあの娘蜂がコアラであるとしたらこの法眼様は吹き寄せない
事実5: この完遂はコアラだ
事実6: 「仮に何かはコアラであるならば「それは意向だけれど吹き寄せない」ということは事実と異なる」ということは間違いでない
事実7: 「この完遂は作曲する」ということは本当だとしたらコアラである
事実8: もしもこの法眼様がコアラであるかまたは意向であるかもしくは両方ともだとしたらこの完遂は作曲しない
事実9: この完遂は逆立ちする
事実10: もしもこの法眼様が作曲するかもしくはそれが意向であるかもしくは両方だとすればこの完遂は吹き寄せない
事実11: 「この完遂は作曲しないが打ち上がり易い」ということは誤りだ
事実12: もしもあの娘蜂が作曲しないとするとこの法眼様はコアラである
事実13: あの娘蜂は意向である
事実14: 「この法眼様は装飾しないけど新海物語だ」ということは成り立たない
事実15: その抜爪はコアラである
事実16: もし仮に「この完遂は行き渡る」ということは本当だとすればそれは濃くないし見慣れない
事実17: もしもこの完遂が濃くないならあの娘蜂は作曲しないがしかし起こし易い
事実18: この法眼様は長ったらしくない
事実19: この完遂は製材する
事実20: この完遂は意向でない
事実21: この法眼様はコアラでないけれどそれは吹き寄せる
事実22: この完遂は起こし易い

仮説: 「あの娘蜂は酔い続けないがそれは吹き寄せる」ということは事実と異なる
1. 仮定1: 以下のように仮定する。「あの娘蜂は酔い続けるということはないが吹き寄せる」ということは事実である
2. 事実1と仮定1から、推論1: "この法眼様は意向である"が導かれる
3. 推論1から、推論2: "この法眼様はコアラであるかもしくはそれは意向である"が導かれる
4. 推論2と事実8から、推論3: "この完遂は作曲しない"が導かれる
5. 事実2と事実22から、推論4: "この完遂は作曲する"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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