あの第一項但し書きは蹴立てる
fact1: この援助金が短絡的過ぎればそれは物欲しいということはない fact2: もしもあの第一項但し書きが回し始めるならそれは蹴立てない fact3: 仮になにがしかの物は小暗いとすると「休息するし僻みっぽいということはない」ということは嘘だ fact4: もしも「なにかは蹴立てないがそれは気高し」ということは嘘ならば蹴立てる fact5: あの第一項但し書きは気高し fact6: その学校図書は発掘調査しない fact7: あの第一項但し書きは熟れ切るかもしくは色好いかもしくは両方ともだ fact8: もし仮になにかは長しないとすると小暗いしその上それは理解し易い fact9: 「「長しししかも前走着順だ」ということは間違っている」ものはあるとすると「あの元素合成は長しない」ということは真実である fact10: もしもその学校図書が発掘調査するということはなくて揺るがし兼ねるということはないとしたらこの内ポケットは流し続けない fact11: この内ポケットは流し続けるということはないとすれば「長ししそれに前走着順だ」ということは間違いである fact12: もしあの第一項但し書きが気高しないとすればこの滞りは蹴立てる fact13: もし「あの第一項但し書きは蹴立てない」ということは真実ならばこの滞りは蹴立てる fact14: 仮にその学校図書が拾い上げるけど麦味噌であるということはないならば揺るがし兼ねらない fact15: もし仮に「「休息するしまた僻みっぽいということはない」ということは真実だということはない」ものがあるならばあの第一項但し書きは回し始めない fact16: その学校図書は拾い上げる一方で麦味噌でない fact17: もしもあの第一項但し書きは回し始めるか気高しかどちらもならば蹴立てない
fact5 -> int1: あの第一項但し書きは回し始めるかもしくは気高しか両方ともである; int1 & fact17 -> hypothesis;
あの第一項但し書きは蹴立てる
fact18 -> int2: もしも「「あの第一項但し書きは蹴立てないが気高し」ということは誤っている」ということは正しいとすると「蹴立てる」ということは成り立つ;
$facts$ = fact1: この援助金が短絡的過ぎればそれは物欲しいということはない fact2: もしもあの第一項但し書きが回し始めるならそれは蹴立てない fact3: 仮になにがしかの物は小暗いとすると「休息するし僻みっぽいということはない」ということは嘘だ fact4: もしも「なにかは蹴立てないがそれは気高し」ということは嘘ならば蹴立てる fact5: あの第一項但し書きは気高し fact6: その学校図書は発掘調査しない fact7: あの第一項但し書きは熟れ切るかもしくは色好いかもしくは両方ともだ fact8: もし仮になにかは長しないとすると小暗いしその上それは理解し易い fact9: 「「長しししかも前走着順だ」ということは間違っている」ものはあるとすると「あの元素合成は長しない」ということは真実である fact10: もしもその学校図書が発掘調査するということはなくて揺るがし兼ねるということはないとしたらこの内ポケットは流し続けない fact11: この内ポケットは流し続けるということはないとすれば「長ししそれに前走着順だ」ということは間違いである fact12: もしあの第一項但し書きが気高しないとすればこの滞りは蹴立てる fact13: もし「あの第一項但し書きは蹴立てない」ということは真実ならばこの滞りは蹴立てる fact14: 仮にその学校図書が拾い上げるけど麦味噌であるということはないならば揺るがし兼ねらない fact15: もし仮に「「休息するしまた僻みっぽいということはない」ということは真実だということはない」ものがあるならばあの第一項但し書きは回し始めない fact16: その学校図書は拾い上げる一方で麦味噌でない fact17: もしもあの第一項但し書きは回し始めるか気高しかどちらもならば蹴立てない ; $hypothesis$ = あの第一項但し書きは蹴立てる ; $proof$ = 
fact5 -> int1: あの第一項但し書きは回し始めるかもしくは気高しか両方ともである; int1 & fact17 -> hypothesis; __DISPROVED__
事実1: この援助金が短絡的過ぎればそれは物欲しいということはない
事実2: もしもあの第一項但し書きが回し始めるならそれは蹴立てない
事実3: 仮になにがしかの物は小暗いとすると「休息するし僻みっぽいということはない」ということは嘘だ
事実4: もしも「なにかは蹴立てないがそれは気高し」ということは嘘ならば蹴立てる
事実5: あの第一項但し書きは気高し
事実6: その学校図書は発掘調査しない
事実7: あの第一項但し書きは熟れ切るかもしくは色好いかもしくは両方ともだ
事実8: もし仮になにかは長しないとすると小暗いしその上それは理解し易い
事実9: 「「長しししかも前走着順だ」ということは間違っている」ものはあるとすると「あの元素合成は長しない」ということは真実である
事実10: もしもその学校図書が発掘調査するということはなくて揺るがし兼ねるということはないとしたらこの内ポケットは流し続けない
事実11: この内ポケットは流し続けるということはないとすれば「長ししそれに前走着順だ」ということは間違いである
事実12: もしあの第一項但し書きが気高しないとすればこの滞りは蹴立てる
事実13: もし「あの第一項但し書きは蹴立てない」ということは真実ならばこの滞りは蹴立てる
事実14: 仮にその学校図書が拾い上げるけど麦味噌であるということはないならば揺るがし兼ねらない
事実15: もし仮に「「休息するしまた僻みっぽいということはない」ということは真実だということはない」ものがあるならばあの第一項但し書きは回し始めない
事実16: その学校図書は拾い上げる一方で麦味噌でない
事実17: もしもあの第一項但し書きは回し始めるか気高しかどちらもならば蹴立てない

仮説: あの第一項但し書きは蹴立てる
1. 事実5から、推論1: "あの第一項但し書きは回し始めるかもしくは気高しか両方ともである"が導かれる
2. 推論1と事実17から、仮説が否定される

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