この古代生物はビタミンＤであるということはない
fact1: もしその返済計画が幸運ならあの接客空間は相法でない fact2: もし仮に何かは相法でないならばそれは茶業でないし幸運でない fact3: 仮にあるものは相法でないなら大広間だし荒っぽい fact4: 「症例報告書でない」物はあれば「あの輩出は発表し続けるしその上人工神経だ」ということは偽だ fact5: 「症例報告書でない」ものはある fact6: その返済計画は幸運でない fact7: もし仮になにがしかの物は相法でないならば幸運だということはない fact8: あの接客空間は荒っぽくない fact9: その返済計画が相法でないとすればそれは幸運でない fact10: 仮にこの脱衣が茶業であるとしたらこの通産は茶業である fact11: もしあの接客空間が大広間であるしおまけに荒っぽいとしたらその返済計画は相法でない fact12: もし「あのライブ・レコードは大広間でない」ということは真実であるとしたらあの接客空間は大広間であるけど荒っぽいということはない fact13: 仮にこの脱衣が見分け難くないとすると茶業であるし更に拘縮する fact14: あのライブ・レコードが人工神経であるならあの輩出は発表し続けなくて症例報告書でない fact15: とある物は症例報告書である fact16: もしも「あの輩出は人工神経でない」ということは成り立つとしたら「あのライブ・レコードは大広間だということはない」ということは正しい fact17: もしその返済計画が茶業でないならばあの古代生物はビタミンＤだ fact18: 仮にあの輩出が発表し続けるということはなくてかつ症例報告書でないならこの古代生物はビタミンＤでない fact19: もし仮に「あの輩出は発表し続けるしそれは人工神経だ」ということは成り立たないならあのライブ・レコードは大広間でない fact20: もしもあの接客空間が大広間であるけど荒っぽくないならばその返済計画は相法でない fact21: あのライブ・レコードは大広間でないならば「あの接客空間は荒っぽいということはない」ということは真実である fact22: もしも「「その国技館は捜査しないが見分け難い」ということは偽である」ということは事実であるならこの脱衣は見分け難くない fact23: 仮に「この通産は茶業である」ということは成り立つとするとその返済計画は幸運だ
fact5 & fact4 -> int1: 「あの輩出は発表し続けるしかつ人工神経である」ということは事実と異なる; int1 & fact19 -> int2: 「あのライブ・レコードは大広間である」ということは偽だ; int2 & fact12 -> int3: あの接客空間が大広間だけどそれは荒っぽくない; int3 & fact20 -> int4: その返済計画は相法でない; fact2 -> int5: もしもその返済計画が相法でないとすると茶業でないし幸運でない; int4 & int5 -> int6: その返済計画は茶業でないしその上幸運でない; int6 -> int7: その返済計画は茶業でない; int7 & fact17 -> hypothesis;
「この古代生物はビタミンＤでない」ということは事実である
fact25 -> int8: 仮にあの接客空間が相法でないならそれは大広間でかつ荒っぽい;
$facts$ = fact1: もしその返済計画が幸運ならあの接客空間は相法でない fact2: もし仮に何かは相法でないならばそれは茶業でないし幸運でない fact3: 仮にあるものは相法でないなら大広間だし荒っぽい fact4: 「症例報告書でない」物はあれば「あの輩出は発表し続けるしその上人工神経だ」ということは偽だ fact5: 「症例報告書でない」ものはある fact6: その返済計画は幸運でない fact7: もし仮になにがしかの物は相法でないならば幸運だということはない fact8: あの接客空間は荒っぽくない fact9: その返済計画が相法でないとすればそれは幸運でない fact10: 仮にこの脱衣が茶業であるとしたらこの通産は茶業である fact11: もしあの接客空間が大広間であるしおまけに荒っぽいとしたらその返済計画は相法でない fact12: もし「あのライブ・レコードは大広間でない」ということは真実であるとしたらあの接客空間は大広間であるけど荒っぽいということはない fact13: 仮にこの脱衣が見分け難くないとすると茶業であるし更に拘縮する fact14: あのライブ・レコードが人工神経であるならあの輩出は発表し続けなくて症例報告書でない fact15: とある物は症例報告書である fact16: もしも「あの輩出は人工神経でない」ということは成り立つとしたら「あのライブ・レコードは大広間だということはない」ということは正しい fact17: もしその返済計画が茶業でないならばあの古代生物はビタミンＤだ fact18: 仮にあの輩出が発表し続けるということはなくてかつ症例報告書でないならこの古代生物はビタミンＤでない fact19: もし仮に「あの輩出は発表し続けるしそれは人工神経だ」ということは成り立たないならあのライブ・レコードは大広間でない fact20: もしもあの接客空間が大広間であるけど荒っぽくないならばその返済計画は相法でない fact21: あのライブ・レコードは大広間でないならば「あの接客空間は荒っぽいということはない」ということは真実である fact22: もしも「「その国技館は捜査しないが見分け難い」ということは偽である」ということは事実であるならこの脱衣は見分け難くない fact23: 仮に「この通産は茶業である」ということは成り立つとするとその返済計画は幸運だ ; $hypothesis$ = この古代生物はビタミンＤであるということはない ; $proof$ = 
fact5 & fact4 -> int1: 「あの輩出は発表し続けるしかつ人工神経である」ということは事実と異なる; int1 & fact19 -> int2: 「あのライブ・レコードは大広間である」ということは偽だ; int2 & fact12 -> int3: あの接客空間が大広間だけどそれは荒っぽくない; int3 & fact20 -> int4: その返済計画は相法でない; fact2 -> int5: もしもその返済計画が相法でないとすると茶業でないし幸運でない; int4 & int5 -> int6: その返済計画は茶業でないしその上幸運でない; int6 -> int7: その返済計画は茶業でない; int7 & fact17 -> hypothesis; __DISPROVED__
事実1: もしその返済計画が幸運ならあの接客空間は相法でない
事実2: もし仮に何かは相法でないならばそれは茶業でないし幸運でない
事実3: 仮にあるものは相法でないなら大広間だし荒っぽい
事実4: 「症例報告書でない」物はあれば「あの輩出は発表し続けるしその上人工神経だ」ということは偽だ
事実5: 「症例報告書でない」ものはある
事実6: その返済計画は幸運でない
事実7: もし仮になにがしかの物は相法でないならば幸運だということはない
事実8: あの接客空間は荒っぽくない
事実9: その返済計画が相法でないとすればそれは幸運でない
事実10: 仮にこの脱衣が茶業であるとしたらこの通産は茶業である
事実11: もしあの接客空間が大広間であるしおまけに荒っぽいとしたらその返済計画は相法でない
事実12: もし「あのライブ・レコードは大広間でない」ということは真実であるとしたらあの接客空間は大広間であるけど荒っぽいということはない
事実13: 仮にこの脱衣が見分け難くないとすると茶業であるし更に拘縮する
事実14: あのライブ・レコードが人工神経であるならあの輩出は発表し続けなくて症例報告書でない
事実15: とある物は症例報告書である
事実16: もしも「あの輩出は人工神経でない」ということは成り立つとしたら「あのライブ・レコードは大広間だということはない」ということは正しい
事実17: もしその返済計画が茶業でないならばあの古代生物はビタミンＤだ
事実18: 仮にあの輩出が発表し続けるということはなくてかつ症例報告書でないならこの古代生物はビタミンＤでない
事実19: もし仮に「あの輩出は発表し続けるしそれは人工神経だ」ということは成り立たないならあのライブ・レコードは大広間でない
事実20: もしもあの接客空間が大広間であるけど荒っぽくないならばその返済計画は相法でない
事実21: あのライブ・レコードは大広間でないならば「あの接客空間は荒っぽいということはない」ということは真実である
事実22: もしも「「その国技館は捜査しないが見分け難い」ということは偽である」ということは事実であるならこの脱衣は見分け難くない
事実23: 仮に「この通産は茶業である」ということは成り立つとするとその返済計画は幸運だ

仮説: この古代生物はビタミンＤであるということはない
1. 事実5と事実4から、推論1: "「あの輩出は発表し続けるしかつ人工神経である」ということは事実と異なる"が導かれる
2. 推論1と事実19から、推論2: "「あのライブ・レコードは大広間である」ということは偽だ"が導かれる
3. 推論2と事実12から、推論3: "あの接客空間が大広間だけどそれは荒っぽくない"が導かれる
4. 推論3と事実20から、推論4: "その返済計画は相法でない"が導かれる
5. 事実2から、推論5: "もしもその返済計画が相法でないとすると茶業でないし幸運でない"が導かれる
6. 推論4と推論5から、推論6: "その返済計画は茶業でないしその上幸運でない"が導かれる
7. 推論6から、推論7: "その返済計画は茶業でない"が導かれる
8. 推論7と事実17から、仮説が否定される

よって、仮説が否定されました。