その大鳳は競技場用だ
fact1: 「その注釈行は聞き覚えないがしかしそれは未収利息だ」ということは間違っている fact2: 「あの交点は聞き覚えるということはないがそれは未収利息だ」ということは誤っている fact3: あの交点は未収利息であるかまたは聞き覚える fact4: 「その注釈行は留保しないかあるいは聞き覚えないかまたは両方だ」ということは成り立たないならばあの交点は留保しない fact5: もしもその大鳳が未収利息であるとしたらあの交点は遠い fact6: もし「「なにがしかのものは擦り混ぜなくてそれは遠くない」ということは正しい」ということは間違いであるならば聞き覚える fact7: もしもあの交点が留保するならばあの注釈行は聞き覚えない fact8: もし仮にその注釈行は聞き覚えないとすれば「その大鳳は遠くないしかつ擦り混ぜない」ということは事実でない fact9: 「その大鳳は留保しないし競技場用であるということはない」ということは偽だ fact10: もし仮に「あの意味付けは米国特許法だ一方でそれは相応しかない」ということは成り立たないとすると落ち着ける fact11: あの交点は留保するかあるいはそれは未収利息であるかもしくは両方だ fact12: 「この自由宣言は相応しい」ということは真実だ fact13: もし仮になにかは落ち着けるとすれば遠いしかつそれは実行しない fact14: もしも遠いものが実行しないとすると擦り混ぜない fact15: 「その大鳳は遠くないし未収利息でない」ということは偽だ fact16: もし仮にその注釈行が擦り混ぜるとすればあの交点は留保するということはない fact17: もしもあの意味付けは擦り混ぜないなら「その注釈行は留保しないか聞き覚えないかあるいはどちらもである」ということは成り立たない fact18: 仮に「何らかの物は遠くないし加えてそれは擦り混ぜない」ということは誤りだとするとそれは競技場用である fact19: もし仮にあの交点が未収利息であるとするとその注釈行は聞き覚えない fact20: もしもその注釈行は聞き覚えないなら「その大鳳は遠くないけど擦り混ぜる」ということは事実と異なる fact21: 「その大鳳は遠くないがしかし擦り混ぜる」ということは誤りだ fact22: もしあの交点は競技場用でないとすると「その大鳳は擦り混ぜないが未収利息だ」ということは成り立たない fact23: あの交点が競技場用でないが未収利息ならその大鳳は競技場用でない fact24: 「なにかは挫くないし十二番人気でない」ということは成り立たないとするとそれはカップ焼きだ
fact11 & fact7 & fact19 -> int1: その注釈行は聞き覚えない; int1 & fact8 -> int2: 「その大鳳は遠くないしかつ擦り混ぜない」ということは成り立たない; fact18 -> int3: 「その大鳳は遠いということはないし擦り混ぜない」ということは成り立たないとすると競技場用である; int2 & int3 -> hypothesis;
その大鳳は競技場用でない
fact26 -> int4: もしあの意味付けは遠いがしかし実行しないとすると「擦り混ぜない」ということは真実だ; fact30 -> int5: もしもあの意味付けが落ち着けるとすると遠くて実行しない; fact28 -> int6: 何かは相応しい;
$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: 「なにかは挫くないし十二番人気でない」ということは成り立たないとするとそれはカップ焼きだ ; $hypothesis$ = その大鳳は競技場用だ ; $proof$ = 
fact11 & fact7 & fact19 -> int1: その注釈行は聞き覚えない; int1 & fact8 -> int2: 「その大鳳は遠くないしかつ擦り混ぜない」ということは成り立たない; fact18 -> int3: 「その大鳳は遠いということはないし擦り混ぜない」ということは成り立たないとすると競技場用である; int2 & int3 -> 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: 「なにかは挫くないし十二番人気でない」ということは成り立たないとするとそれはカップ焼きだ

仮説: その大鳳は競技場用だ
1. 事実11と事実7と事実19から、推論1: "その注釈行は聞き覚えない"が導かれる
2. 推論1と事実8から、推論2: "「その大鳳は遠くないしかつ擦り混ぜない」ということは成り立たない"が導かれる
3. 事実18から、推論3: "「その大鳳は遠いということはないし擦り混ぜない」ということは成り立たないとすると競技場用である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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