「あの彼岸花は折れ易くないが引き付ける」ということは成り立たない
fact1: あの彼岸花は交合しないとしたら「この御所野遺跡は折れ易くないけれどそれは極まり悪い」ということは成り立つということはない fact2: 「この御所野遺跡はアレルギー性鼻炎である一方でそれは交合しない」ということは偽である fact3: 仮にその民俗事象が極まり悪いとするとあの彼岸花は折れ易くないがしかしそれは引き付ける fact4: アレルギー性鼻炎でその上それは交合するということはないというものはない fact5: それは作り易いということはないしさらに牛達でないという物はない fact6: アレルギー性鼻炎でないしそれは交合するという物はない fact7: 仮にこの御所野遺跡は極まり悪いということはないとすれば「あの彼岸花は折れ易くて引き付ける」ということは偽だ fact8: アレルギー性鼻炎でないしそれは交合しないという物はない fact9: 「忙しくない物は避難するしまた極まり悪い」ということは真実だ fact10: 「あの彼岸花は交合しないし更にそれは折れ易いということはない」ということは成り立たない fact11: もしあの彼岸花は折れ易くないなら「この御所野遺跡はアレルギー性鼻炎でないけれど引き付ける」ということは事実と異なる fact12: 「あの彼岸花は折れ易いし更に引き付ける」ということは成り立たない fact13: 「この御所野遺跡はアレルギー性鼻炎でないがしかし交合する」ということは成り立たない fact14: 仮にこの御所野遺跡は極まり悪くないとすれば「あの彼岸花は折れ易くない一方で引き付ける」ということは成り立たない fact15: 「なんらかの物はアレルギー性鼻炎でないしそれに交合しない」ということは嘘だとすればそれは極まり悪くない
fact8 -> int1: 「この御所野遺跡はアレルギー性鼻炎でないしおまけに交合しない」ということは誤っている; fact15 -> int2: もしも「この御所野遺跡はアレルギー性鼻炎であるということはないしかつ交合しない」ということは間違いならば極まり悪くない; int1 & int2 -> int3: この御所野遺跡は極まり悪くない; int3 & fact14 -> hypothesis;
fact8 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); fact15 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{A}{aa}; int1 & int2 -> int3: ¬{A}{aa}; int3 & fact14 -> hypothesis;
あの彼岸花は折れ易くないがしかしそれは引き付ける
fact16 -> int4: もし仮にその民俗事象が忙しくないとしたらそれは避難するしかつそれは極まり悪い;
$facts$ = fact1: あの彼岸花は交合しないとしたら「この御所野遺跡は折れ易くないけれどそれは極まり悪い」ということは成り立つということはない fact2: 「この御所野遺跡はアレルギー性鼻炎である一方でそれは交合しない」ということは偽である fact3: 仮にその民俗事象が極まり悪いとするとあの彼岸花は折れ易くないがしかしそれは引き付ける fact4: アレルギー性鼻炎でその上それは交合するということはないというものはない fact5: それは作り易いということはないしさらに牛達でないという物はない fact6: アレルギー性鼻炎でないしそれは交合するという物はない fact7: 仮にこの御所野遺跡は極まり悪いということはないとすれば「あの彼岸花は折れ易くて引き付ける」ということは偽だ fact8: アレルギー性鼻炎でないしそれは交合しないという物はない fact9: 「忙しくない物は避難するしまた極まり悪い」ということは真実だ fact10: 「あの彼岸花は交合しないし更にそれは折れ易いということはない」ということは成り立たない fact11: もしあの彼岸花は折れ易くないなら「この御所野遺跡はアレルギー性鼻炎でないけれど引き付ける」ということは事実と異なる fact12: 「あの彼岸花は折れ易いし更に引き付ける」ということは成り立たない fact13: 「この御所野遺跡はアレルギー性鼻炎でないがしかし交合する」ということは成り立たない fact14: 仮にこの御所野遺跡は極まり悪くないとすれば「あの彼岸花は折れ易くない一方で引き付ける」ということは成り立たない fact15: 「なんらかの物はアレルギー性鼻炎でないしそれに交合しない」ということは嘘だとすればそれは極まり悪くない ; $hypothesis$ = 「あの彼岸花は折れ易くないが引き付ける」ということは成り立たない ; $proof$ = 
fact8 -> int1: 「この御所野遺跡はアレルギー性鼻炎でないしおまけに交合しない」ということは誤っている; fact15 -> int2: もしも「この御所野遺跡はアレルギー性鼻炎であるということはないしかつ交合しない」ということは間違いならば極まり悪くない; int1 & int2 -> int3: この御所野遺跡は極まり悪くない; int3 & fact14 -> hypothesis; __PROVED__
事実1: あの彼岸花は交合しないとしたら「この御所野遺跡は折れ易くないけれどそれは極まり悪い」ということは成り立つということはない
事実2: 「この御所野遺跡はアレルギー性鼻炎である一方でそれは交合しない」ということは偽である
事実3: 仮にその民俗事象が極まり悪いとするとあの彼岸花は折れ易くないがしかしそれは引き付ける
事実4: アレルギー性鼻炎でその上それは交合するということはないというものはない
事実5: それは作り易いということはないしさらに牛達でないという物はない
事実6: アレルギー性鼻炎でないしそれは交合するという物はない
事実7: 仮にこの御所野遺跡は極まり悪いということはないとすれば「あの彼岸花は折れ易くて引き付ける」ということは偽だ
事実8: アレルギー性鼻炎でないしそれは交合しないという物はない
事実9: 「忙しくない物は避難するしまた極まり悪い」ということは真実だ
事実10: 「あの彼岸花は交合しないし更にそれは折れ易いということはない」ということは成り立たない
事実11: もしあの彼岸花は折れ易くないなら「この御所野遺跡はアレルギー性鼻炎でないけれど引き付ける」ということは事実と異なる
事実12: 「あの彼岸花は折れ易いし更に引き付ける」ということは成り立たない
事実13: 「この御所野遺跡はアレルギー性鼻炎でないがしかし交合する」ということは成り立たない
事実14: 仮にこの御所野遺跡は極まり悪くないとすれば「あの彼岸花は折れ易くない一方で引き付ける」ということは成り立たない
事実15: 「なんらかの物はアレルギー性鼻炎でないしそれに交合しない」ということは嘘だとすればそれは極まり悪くない

仮説: 「あの彼岸花は折れ易くないが引き付ける」ということは成り立たない
1. 事実8から、推論1: "「この御所野遺跡はアレルギー性鼻炎でないしおまけに交合しない」ということは誤っている"が導かれる
2. 事実15から、推論2: "もしも「この御所野遺跡はアレルギー性鼻炎であるということはないしかつ交合しない」ということは間違いならば極まり悪くない"が導かれる
3. 推論1と推論2から、推論3: "この御所野遺跡は極まり悪くない"が導かれる
4. 推論3と事実14から、仮説が導かれる

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