あの境界変更は芝居小屋だ
fact1: 仮に「「あの大手水産会社は芝居小屋であるかあるいは体内酵素であるかまたは両方である」ということは成り立たない」ということは成り立つとするとあの境界変更は芝居小屋であるということはない fact2: もしも「病死しない」物があればあのメタスタジオは捜索であるし加えて荒ぶる fact3: もし仮になにがしかの物が体内酵素であるとしたら生やさくないし流布する fact4: あの犬猫は流布するけれど優しくないなら「その主催者は優しい」ということは成り立つ fact5: あの大手水産会社が生やすとすれば優しいということはないけど体内酵素である fact6: その主催者が生やさくないけどそれが流布するならあの境界変更は芝居小屋である fact7: あのメタスタジオがリストするしおまけに捜索ならばその土日曜は生やすということはない fact8: もしあの大手水産会社が優しいとすればその主催者は体内酵素だ fact9: あの大手水産会社が体内酵素だとすればそれは流布しない一方で優しい fact10: もし「その従姪は言い辛くないかあるいは煮るか両方である」ということは成り立たないとすればあのメタスタジオは言い辛い fact11: 言い辛い物はリストする fact12: 「病死しない」物はある fact13: あの大手水産会社は優しい fact14: 「その従姪は言い辛くないかまたは煮るかあるいは両方だ」ということは成り立たない
fact8 & fact13 -> int1: その主催者は体内酵素だ; fact3 -> int2: 仮にその主催者は体内酵素であるならば生やさくないが流布する; int1 & int2 -> int3: その主催者は生やさくないが流布する; int3 & fact6 -> hypothesis;
あの境界変更は芝居小屋だということはない
fact19 -> int4: もし仮に「あのメタスタジオは言い辛い」ということは本当ならばリストする; fact15 & fact18 -> int5: 「あのメタスタジオは言い辛い」ということは成り立つ; int4 & int5 -> int6: あのメタスタジオはリストする; fact22 & fact17 -> int7: あのメタスタジオは捜索だし加えて荒ぶる; int7 -> int8: あのメタスタジオは捜索である; int6 & int8 -> int9: あのメタスタジオはリストするしさらに捜索である; fact20 & int9 -> int10: その土日曜は生やさくない; int10 -> int11: 「生やさくない」ものはある;
$facts$ = fact1: 仮に「「あの大手水産会社は芝居小屋であるかあるいは体内酵素であるかまたは両方である」ということは成り立たない」ということは成り立つとするとあの境界変更は芝居小屋であるということはない fact2: もしも「病死しない」物があればあのメタスタジオは捜索であるし加えて荒ぶる fact3: もし仮になにがしかの物が体内酵素であるとしたら生やさくないし流布する fact4: あの犬猫は流布するけれど優しくないなら「その主催者は優しい」ということは成り立つ fact5: あの大手水産会社が生やすとすれば優しいということはないけど体内酵素である fact6: その主催者が生やさくないけどそれが流布するならあの境界変更は芝居小屋である fact7: あのメタスタジオがリストするしおまけに捜索ならばその土日曜は生やすということはない fact8: もしあの大手水産会社が優しいとすればその主催者は体内酵素だ fact9: あの大手水産会社が体内酵素だとすればそれは流布しない一方で優しい fact10: もし「その従姪は言い辛くないかあるいは煮るか両方である」ということは成り立たないとすればあのメタスタジオは言い辛い fact11: 言い辛い物はリストする fact12: 「病死しない」物はある fact13: あの大手水産会社は優しい fact14: 「その従姪は言い辛くないかまたは煮るかあるいは両方だ」ということは成り立たない ; $hypothesis$ = あの境界変更は芝居小屋だ ; $proof$ = 
fact8 & fact13 -> int1: その主催者は体内酵素だ; fact3 -> int2: 仮にその主催者は体内酵素であるならば生やさくないが流布する; int1 & int2 -> int3: その主催者は生やさくないが流布する; int3 & fact6 -> hypothesis; __PROVED__
事実1: 仮に「「あの大手水産会社は芝居小屋であるかあるいは体内酵素であるかまたは両方である」ということは成り立たない」ということは成り立つとするとあの境界変更は芝居小屋であるということはない
事実2: もしも「病死しない」物があればあのメタスタジオは捜索であるし加えて荒ぶる
事実3: もし仮になにがしかの物が体内酵素であるとしたら生やさくないし流布する
事実4: あの犬猫は流布するけれど優しくないなら「その主催者は優しい」ということは成り立つ
事実5: あの大手水産会社が生やすとすれば優しいということはないけど体内酵素である
事実6: その主催者が生やさくないけどそれが流布するならあの境界変更は芝居小屋である
事実7: あのメタスタジオがリストするしおまけに捜索ならばその土日曜は生やすということはない
事実8: もしあの大手水産会社が優しいとすればその主催者は体内酵素だ
事実9: あの大手水産会社が体内酵素だとすればそれは流布しない一方で優しい
事実10: もし「その従姪は言い辛くないかあるいは煮るか両方である」ということは成り立たないとすればあのメタスタジオは言い辛い
事実11: 言い辛い物はリストする
事実12: 「病死しない」物はある
事実13: あの大手水産会社は優しい
事実14: 「その従姪は言い辛くないかまたは煮るかあるいは両方だ」ということは成り立たない

仮説: あの境界変更は芝居小屋だ
1. 事実8と事実13から、推論1: "その主催者は体内酵素だ"が導かれる
2. 事実3から、推論2: "仮にその主催者は体内酵素であるならば生やさくないが流布する"が導かれる
3. 推論1と推論2から、推論3: "その主催者は生やさくないが流布する"が導かれる
4. 推論3と事実6から、仮説が導かれる

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