この砂利道は合い過ぎる
fact1: もしこの発明文化研究会が賞与額であるが王妃様でないとすればこの七冊は腐植する fact2: 「「合い過ぎないが腐植する」ということは間違いである」物があるとすればあの砂利道は王妃様であるということはない fact3: 「「賞与額であるししかも腐植する」ということは事実と異なる」物はある fact4: 「「想定し難くない一方で打ち捲る」ということは嘘な」物はある fact5: もしこの発明文化研究会が合い過ぎるし更に王妃様であるならば「この砂利道は賞与額である」ということは成り立つ fact6: もしこの発明文化研究会が賞与額であるし王妃様だとするとこの七冊は腐植する fact7: この発明文化研究会は王妃様でない fact8: もし仮に「「賞与額であるがしかし王妃様でない」ということは事実でない」物があるとしたらこの砂利道は合い過ぎない fact9: 「賞与額であるけど王妃様でない」物はある fact10: 「「「腐植しないしかつ合い過ぎる」ということは真実だ」ということは事実でない」物はある fact11: 「この七冊が原則禁止だしさらにそれは痒い」ということは偽である fact12: 「「賞与額であるということはなくて腐植する」ということは誤っている」物があるとしたらこの発明文化研究会は合い過ぎない fact13: もし仮に「「想定し難くないがしかし打ち捲る」ということは成り立たない」ものはあるなら「この七冊は腐植しない」ということは成り立つ
void -> assump1: 以下のように仮定する。この発明文化研究会は賞与額だ一方で王妃様でない; fact1 & assump1 -> int1: この七冊は腐植する; fact4 & fact13 -> int2: この七冊は腐植しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この発明文化研究会は賞与額であるが王妃様でない」ということは嘘だ; int4 -> int5: 「「賞与額であるし王妃様でない」ということは間違いである」物はある; int5 & fact8 -> hypothesis;
$facts$ = fact1: もしこの発明文化研究会が賞与額であるが王妃様でないとすればこの七冊は腐植する fact2: 「「合い過ぎないが腐植する」ということは間違いである」物があるとすればあの砂利道は王妃様であるということはない fact3: 「「賞与額であるししかも腐植する」ということは事実と異なる」物はある fact4: 「「想定し難くない一方で打ち捲る」ということは嘘な」物はある fact5: もしこの発明文化研究会が合い過ぎるし更に王妃様であるならば「この砂利道は賞与額である」ということは成り立つ fact6: もしこの発明文化研究会が賞与額であるし王妃様だとするとこの七冊は腐植する fact7: この発明文化研究会は王妃様でない fact8: もし仮に「「賞与額であるがしかし王妃様でない」ということは事実でない」物があるとしたらこの砂利道は合い過ぎない fact9: 「賞与額であるけど王妃様でない」物はある fact10: 「「「腐植しないしかつ合い過ぎる」ということは真実だ」ということは事実でない」物はある fact11: 「この七冊が原則禁止だしさらにそれは痒い」ということは偽である fact12: 「「賞与額であるということはなくて腐植する」ということは誤っている」物があるとしたらこの発明文化研究会は合い過ぎない fact13: もし仮に「「想定し難くないがしかし打ち捲る」ということは成り立たない」ものはあるなら「この七冊は腐植しない」ということは成り立つ ; $hypothesis$ = この砂利道は合い過ぎる ; $proof$ = 
void -> assump1: 以下のように仮定する。この発明文化研究会は賞与額だ一方で王妃様でない; fact1 & assump1 -> int1: この七冊は腐植する; fact4 & fact13 -> int2: この七冊は腐植しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この発明文化研究会は賞与額であるが王妃様でない」ということは嘘だ; int4 -> int5: 「「賞与額であるし王妃様でない」ということは間違いである」物はある; int5 & fact8 -> hypothesis; __DISPROVED__
事実1: もしこの発明文化研究会が賞与額であるが王妃様でないとすればこの七冊は腐植する
事実2: 「「合い過ぎないが腐植する」ということは間違いである」物があるとすればあの砂利道は王妃様であるということはない
事実3: 「「賞与額であるししかも腐植する」ということは事実と異なる」物はある
事実4: 「「想定し難くない一方で打ち捲る」ということは嘘な」物はある
事実5: もしこの発明文化研究会が合い過ぎるし更に王妃様であるならば「この砂利道は賞与額である」ということは成り立つ
事実6: もしこの発明文化研究会が賞与額であるし王妃様だとするとこの七冊は腐植する
事実7: この発明文化研究会は王妃様でない
事実8: もし仮に「「賞与額であるがしかし王妃様でない」ということは事実でない」物があるとしたらこの砂利道は合い過ぎない
事実9: 「賞与額であるけど王妃様でない」物はある
事実10: 「「「腐植しないしかつ合い過ぎる」ということは真実だ」ということは事実でない」物はある
事実11: 「この七冊が原則禁止だしさらにそれは痒い」ということは偽である
事実12: 「「賞与額であるということはなくて腐植する」ということは誤っている」物があるとしたらこの発明文化研究会は合い過ぎない
事実13: もし仮に「「想定し難くないがしかし打ち捲る」ということは成り立たない」ものはあるなら「この七冊は腐植しない」ということは成り立つ

仮説: この砂利道は合い過ぎる
1. 仮定1: 以下のように仮定する。この発明文化研究会は賞与額だ一方で王妃様でない
2. 事実1と仮定1から、推論1: "この七冊は腐植する"が導かれる
3. 事実4と事実13から、推論2: "この七冊は腐植しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この発明文化研究会は賞与額であるが王妃様でない」ということは嘘だ"が導かれる
6. 推論4から、推論5: "「「賞与額であるし王妃様でない」ということは間違いである」物はある"が導かれる
7. 推論5と事実8から、仮説が否定される

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