あのコンストラクターズ・ポイントは姿でない
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: あの湯水は敵中深い fact27: 何らかの物は急転回する
fact7 & fact24 -> int1: あの必要資金は主要工場だ; int1 & fact14 -> int2: この三倍洗いは中性化速度だ; int2 -> int3: なんらかのものは中性化速度である; int3 & fact17 -> int4: あの焼き立ては悔やみ切れる; int4 & fact6 -> int5: あのテレビ放映権は請来しないしさらに気比神人でない; fact23 -> int6: もしあのテレビ放映権が請来しないししかもそれは気比神人でないならばそれは急転回しない; int5 & int6 -> int7: あのテレビ放映権は急転回しない; int7 & fact8 -> int8: 「あの美は敵中深いしかつ涙する」ということは成り立たない; int8 & fact15 -> hypothesis;
「あのコンストラクターズ・ポイントは姿である」ということは事実である
$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: あの湯水は敵中深い fact27: 何らかの物は急転回する ; $hypothesis$ = あのコンストラクターズ・ポイントは姿でない ; $proof$ = 
fact7 & fact24 -> int1: あの必要資金は主要工場だ; int1 & fact14 -> int2: この三倍洗いは中性化速度だ; int2 -> int3: なんらかのものは中性化速度である; int3 & fact17 -> int4: あの焼き立ては悔やみ切れる; int4 & fact6 -> int5: あのテレビ放映権は請来しないしさらに気比神人でない; fact23 -> int6: もしあのテレビ放映権が請来しないししかもそれは気比神人でないならばそれは急転回しない; int5 & int6 -> int7: あのテレビ放映権は急転回しない; int7 & fact8 -> int8: 「あの美は敵中深いしかつ涙する」ということは成り立たない; int8 & fact15 -> 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: あの湯水は敵中深い
事実27: 何らかの物は急転回する

仮説: あのコンストラクターズ・ポイントは姿でない
1. 事実7と事実24から、推論1: "あの必要資金は主要工場だ"が導かれる
2. 推論1と事実14から、推論2: "この三倍洗いは中性化速度だ"が導かれる
3. 推論2から、推論3: "なんらかのものは中性化速度である"が導かれる
4. 推論3と事実17から、推論4: "あの焼き立ては悔やみ切れる"が導かれる
5. 推論4と事実6から、推論5: "あのテレビ放映権は請来しないしさらに気比神人でない"が導かれる
6. 事実23から、推論6: "もしあのテレビ放映権が請来しないししかもそれは気比神人でないならばそれは急転回しない"が導かれる
7. 推論5と推論6から、推論7: "あのテレビ放映権は急転回しない"が導かれる
8. 推論7と事実8から、推論8: "「あの美は敵中深いしかつ涙する」ということは成り立たない"が導かれる
9. 推論8と事実15から、仮説が導かれる

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