あの補注は相談出来るし古伊万里だ
fact1: あの日曜はライトアップするし長ったらしい fact2: 「「相談出来ないけどライトアップする」ということは成り立たない」物はある fact3: 「「主表面でないけれど古伊万里だ」ということは嘘である」ものはある fact4: このエアロビクスが抗癲癇薬であるとしたらその住人達は長ったらしい fact5: あの栄養源は相談出来る fact6: 「「主表面でないけどライトアップする」ということは成り立つということはない」ものがあるならあの補注は古伊万里だ fact7: もし「このエアロビクスはライトアップするししかもそれは長ったらしい」ということは成り立たないとするとあの補注は抗癲癇薬でない fact8: 「「主表面であるし更に古伊万里だ」ということは成り立たない」物はある fact9: 「「長ったらしくないがしかし古伊万里である」ということは成り立たない」物はある fact10: 「主表面でなくてそれに長ったらしい」物はある fact11: あの補注はかりかりする fact12: 「このエアロビクスは長ったらしい」ということは真実である fact13: もし仮に「「勿体無くない一方で憎らしい」ということは間違いである」物があるならばあのエアロビクスは抗癲癇薬である fact14: あの補注は相談出来る fact15: 「「勿体無くない一方で憎らしい」ということは成り立たない」物はある fact16: 「「古伊万里でないし相談出来る」ということは誤っている」ものはある fact17: 「勿体無くない一方で憎らしい」物はある fact18: なんらかの物は主表面でないがライトアップする fact19: 何かは出席簿でない一方で手緩い fact20: なにかは古伊万里でないけど抗癲癇薬だ fact21: もしも「「長ったらしくないしおまけに抗癲癇薬だ」ということは事実と異なる」物があるとするとこのエアロビクスは古伊万里だ fact22: その住人達は長ったらしいならば「あの日曜は主表面だということはないがしかしライトアップする」ということは嘘だ fact23: 「「あの日曜はライトアップするしまた抗癲癇薬だ」ということは誤っている」ということは確かである fact24: もし「古伊万里である」ものがあるとしたらあの補注はライトアップする fact25: もしなにかは抗癲癇薬であるということはないとしたら「相談出来るしそれに古伊万里だ」ということは成り立たない fact26: 「相談出来ないけれどライトアップする」ものはある
fact15 & fact13 -> int1: このエアロビクスは抗癲癇薬だ; int1 & fact4 -> int2: その住人達は長ったらしい; int2 & fact22 -> int3: 「あの日曜は主表面であるということはないけどライトアップする」ということは本当だということはない; int3 -> int4: 「「主表面でないけれどライトアップする」ということは成り立たない」物はある; int4 & fact6 -> int5: あの補注は古伊万里である; int5 & fact14 -> hypothesis;
「あの補注は相談出来るしそれは古伊万里だ」ということは成り立つということはない
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: もし「古伊万里である」ものがあるとしたらあの補注はライトアップする fact25: もしなにかは抗癲癇薬であるということはないとしたら「相談出来るしそれに古伊万里だ」ということは成り立たない fact26: 「相談出来ないけれどライトアップする」ものはある ; $hypothesis$ = あの補注は相談出来るし古伊万里だ ; $proof$ = 
fact15 & fact13 -> int1: このエアロビクスは抗癲癇薬だ; int1 & fact4 -> int2: その住人達は長ったらしい; int2 & fact22 -> int3: 「あの日曜は主表面であるということはないけどライトアップする」ということは本当だということはない; int3 -> int4: 「「主表面でないけれどライトアップする」ということは成り立たない」物はある; int4 & fact6 -> int5: あの補注は古伊万里である; int5 & fact14 -> 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: もし「古伊万里である」ものがあるとしたらあの補注はライトアップする
事実25: もしなにかは抗癲癇薬であるということはないとしたら「相談出来るしそれに古伊万里だ」ということは成り立たない
事実26: 「相談出来ないけれどライトアップする」ものはある

仮説: あの補注は相談出来るし古伊万里だ
1. 事実15と事実13から、推論1: "このエアロビクスは抗癲癇薬だ"が導かれる
2. 推論1と事実4から、推論2: "その住人達は長ったらしい"が導かれる
3. 推論2と事実22から、推論3: "「あの日曜は主表面であるということはないけどライトアップする」ということは本当だということはない"が導かれる
4. 推論3から、推論4: "「「主表面でないけれどライトアップする」ということは成り立たない」物はある"が導かれる
5. 推論4と事実6から、推論5: "あの補注は古伊万里である"が導かれる
6. 推論5と事実14から、仮説が導かれる

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