この当曲は擦り剥かない
fact1: 「あの正月以来は伸ばし過ぎるしさらに銘だ」ということは成り立たないならばあの地域主義は平行するということはない fact2: もし「「あの生理学は作詞しないけどそれは黄色っぽい」ということは成り立つということはない」ということは正しいとしたら準備出来ない fact3: あの公的支援は騙され易くない fact4: もしあの正月以来はファシストでないならば「この当曲は擦り剥くししかも銘である」ということは成り立たない fact5: もし仮にあの地域主義が伸ばし過ぎないとすればあの正月以来は平行しない fact6: もし仮にあの生理学は擦り剥くということはないなら「あの正月以来はファシストであるしその上銘である」ということは誤りである fact7: もしあの公的支援は騙され易くないとすると「あの正月以来は伸ばし過ぎるし銘である」ということは間違っている fact8: 仮にこの当曲が平行するということはないならあの地域主義は擦り剥かない fact9: もしあの生理学が準備出来ないとするとそれはファシストだということはない fact10: もし仮にあの地域主義は平行しないとすると「「あの生理学は作詞しない一方で黄色っぽい」ということは成り立たない」ということは本当である fact11: もしもあの生理学がファシストでないとするとこの当曲は擦り剥かない fact12: もし仮にあの正月以来は平行しないとすれば「あの地域主義は黄色っぽくておまけにそれは伸ばし過ぎる」ということは成り立たない fact13: 「この当曲は擦り剥くし準備出来る」ということは成り立たないとするとあの生理学は作詞しない
fact7 & fact3 -> int1: 「あの正月以来は伸ばし過ぎるしそれに銘である」ということは偽である; int1 & fact1 -> int2: あの地域主義は平行しない; int2 & fact10 -> int3: 「あの生理学は作詞しないが黄色っぽい」ということは成り立たない; int3 & fact2 -> int4: あの生理学は準備出来ない; int4 & fact9 -> int5: あの生理学はファシストでない; int5 & fact11 -> hypothesis;
$facts$ = fact1: 「あの正月以来は伸ばし過ぎるしさらに銘だ」ということは成り立たないならばあの地域主義は平行するということはない fact2: もし「「あの生理学は作詞しないけどそれは黄色っぽい」ということは成り立つということはない」ということは正しいとしたら準備出来ない fact3: あの公的支援は騙され易くない fact4: もしあの正月以来はファシストでないならば「この当曲は擦り剥くししかも銘である」ということは成り立たない fact5: もし仮にあの地域主義が伸ばし過ぎないとすればあの正月以来は平行しない fact6: もし仮にあの生理学は擦り剥くということはないなら「あの正月以来はファシストであるしその上銘である」ということは誤りである fact7: もしあの公的支援は騙され易くないとすると「あの正月以来は伸ばし過ぎるし銘である」ということは間違っている fact8: 仮にこの当曲が平行するということはないならあの地域主義は擦り剥かない fact9: もしあの生理学が準備出来ないとするとそれはファシストだということはない fact10: もし仮にあの地域主義は平行しないとすると「「あの生理学は作詞しない一方で黄色っぽい」ということは成り立たない」ということは本当である fact11: もしもあの生理学がファシストでないとするとこの当曲は擦り剥かない fact12: もし仮にあの正月以来は平行しないとすれば「あの地域主義は黄色っぽくておまけにそれは伸ばし過ぎる」ということは成り立たない fact13: 「この当曲は擦り剥くし準備出来る」ということは成り立たないとするとあの生理学は作詞しない ; $hypothesis$ = この当曲は擦り剥かない ; $proof$ = 
fact7 & fact3 -> int1: 「あの正月以来は伸ばし過ぎるしそれに銘である」ということは偽である; int1 & fact1 -> int2: あの地域主義は平行しない; int2 & fact10 -> int3: 「あの生理学は作詞しないが黄色っぽい」ということは成り立たない; int3 & fact2 -> int4: あの生理学は準備出来ない; int4 & fact9 -> int5: あの生理学はファシストでない; int5 & fact11 -> hypothesis; __PROVED__
事実1: 「あの正月以来は伸ばし過ぎるしさらに銘だ」ということは成り立たないならばあの地域主義は平行するということはない
事実2: もし「「あの生理学は作詞しないけどそれは黄色っぽい」ということは成り立つということはない」ということは正しいとしたら準備出来ない
事実3: あの公的支援は騙され易くない
事実4: もしあの正月以来はファシストでないならば「この当曲は擦り剥くししかも銘である」ということは成り立たない
事実5: もし仮にあの地域主義が伸ばし過ぎないとすればあの正月以来は平行しない
事実6: もし仮にあの生理学は擦り剥くということはないなら「あの正月以来はファシストであるしその上銘である」ということは誤りである
事実7: もしあの公的支援は騙され易くないとすると「あの正月以来は伸ばし過ぎるし銘である」ということは間違っている
事実8: 仮にこの当曲が平行するということはないならあの地域主義は擦り剥かない
事実9: もしあの生理学が準備出来ないとするとそれはファシストだということはない
事実10: もし仮にあの地域主義は平行しないとすると「「あの生理学は作詞しない一方で黄色っぽい」ということは成り立たない」ということは本当である
事実11: もしもあの生理学がファシストでないとするとこの当曲は擦り剥かない
事実12: もし仮にあの正月以来は平行しないとすれば「あの地域主義は黄色っぽくておまけにそれは伸ばし過ぎる」ということは成り立たない
事実13: 「この当曲は擦り剥くし準備出来る」ということは成り立たないとするとあの生理学は作詞しない

仮説: この当曲は擦り剥かない
1. 事実7と事実3から、推論1: "「あの正月以来は伸ばし過ぎるしそれに銘である」ということは偽である"が導かれる
2. 推論1と事実1から、推論2: "あの地域主義は平行しない"が導かれる
3. 推論2と事実10から、推論3: "「あの生理学は作詞しないが黄色っぽい」ということは成り立たない"が導かれる
4. 推論3と事実2から、推論4: "あの生理学は準備出来ない"が導かれる
5. 推論4と事実9から、推論5: "あの生理学はファシストでない"が導かれる
6. 推論5と事実11から、仮説が導かれる

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