「もし「室内プールであるがしかし噛み潰さない」ということは成り立つということはないならばアーセナルでない」ものはある
fact1: 「仮に「醜いがちかちかしない」ということは成り立たないとしたら腐り掛けない」物はある fact2: 「もし室内プールだし噛み潰さないとするとアーセナルであるということはない」ものはある fact3: 「その貸し金業は室内プールであるけどそれは噛み潰さない」ということは成り立たないとしたらアーセナルだ fact4: 仮にその貸し金業が集め易くないならばそれは噛み潰すということはない fact5: 「走り易くないとしたら「苦しない」ということは成り立つ」物はある fact6: 仮に「そのアレルギー症状は興味深くてアーセナルだ」ということは誤っているとするとそれは映像でない fact7: 「その貸し金業は室内プールであるしかつ噛み潰す」ということは事実と異なるとしたらアーセナルだということはない fact8: 仮に「その貸し金業は室内プールであるけれど噛み潰さない」ということは成り立たないならそれはアーセナルでない fact9: 「「軽くない」ということは成り立てば掛けない」ものはある fact10: もし仮にその貸し金業が室内プールであるけれどそれが噛み潰さないならそれはアーセナルでない fact11: 「仮に噛み潰すなら「アーセナルでない」ということは偽でない」物はある fact12: 「「なにがしかの物は極まり悪いけれど甲斐甲斐しかない」ということは成り立たないとするとそれは会うということはない」ということは事実だ fact13: 「もしも「加工し易いし匂い立たない」ということは偽ならば味気ない」ものはある fact14: 「「仮に「腐り掛けるし広々しない」ということは嘘ならば人らしくない」ものはある」ということは成り立つ fact15: 「もし「受け辛いしまた保険馬券だ」ということは誤りであるとしたら切羽詰まらない」ものはある fact16: 「その貸し金業は安いがしかし現われ易くない」ということは成り立たないならば「それは落ち難くない」ということは確かである fact17: 仮に「なにがしかのものは全額支給するが発生し易くない」ということは誤りであるなら細分しない
fact8 -> hypothesis;
「仮に「全額支給するししかも発生し易いということはない」ということは事実と異なるなら細分するということはない」ものはある
fact18 -> int1: もし仮に「その営業活動区分は全額支給するがしかし発生し易くない」ということは成り立つということはないとすると細分しない; int1 -> hypothesis;
$facts$ = fact1: 「仮に「醜いがちかちかしない」ということは成り立たないとしたら腐り掛けない」物はある fact2: 「もし室内プールだし噛み潰さないとするとアーセナルであるということはない」ものはある fact3: 「その貸し金業は室内プールであるけどそれは噛み潰さない」ということは成り立たないとしたらアーセナルだ fact4: 仮にその貸し金業が集め易くないならばそれは噛み潰すということはない fact5: 「走り易くないとしたら「苦しない」ということは成り立つ」物はある fact6: 仮に「そのアレルギー症状は興味深くてアーセナルだ」ということは誤っているとするとそれは映像でない fact7: 「その貸し金業は室内プールであるしかつ噛み潰す」ということは事実と異なるとしたらアーセナルだということはない fact8: 仮に「その貸し金業は室内プールであるけれど噛み潰さない」ということは成り立たないならそれはアーセナルでない fact9: 「「軽くない」ということは成り立てば掛けない」ものはある fact10: もし仮にその貸し金業が室内プールであるけれどそれが噛み潰さないならそれはアーセナルでない fact11: 「仮に噛み潰すなら「アーセナルでない」ということは偽でない」物はある fact12: 「「なにがしかの物は極まり悪いけれど甲斐甲斐しかない」ということは成り立たないとするとそれは会うということはない」ということは事実だ fact13: 「もしも「加工し易いし匂い立たない」ということは偽ならば味気ない」ものはある fact14: 「「仮に「腐り掛けるし広々しない」ということは嘘ならば人らしくない」ものはある」ということは成り立つ fact15: 「もし「受け辛いしまた保険馬券だ」ということは誤りであるとしたら切羽詰まらない」ものはある fact16: 「その貸し金業は安いがしかし現われ易くない」ということは成り立たないならば「それは落ち難くない」ということは確かである fact17: 仮に「なにがしかのものは全額支給するが発生し易くない」ということは誤りであるなら細分しない ; $hypothesis$ = 「もし「室内プールであるがしかし噛み潰さない」ということは成り立つということはないならばアーセナルでない」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「仮に「醜いがちかちかしない」ということは成り立たないとしたら腐り掛けない」物はある
事実2: 「もし室内プールだし噛み潰さないとするとアーセナルであるということはない」ものはある
事実3: 「その貸し金業は室内プールであるけどそれは噛み潰さない」ということは成り立たないとしたらアーセナルだ
事実4: 仮にその貸し金業が集め易くないならばそれは噛み潰すということはない
事実5: 「走り易くないとしたら「苦しない」ということは成り立つ」物はある
事実6: 仮に「そのアレルギー症状は興味深くてアーセナルだ」ということは誤っているとするとそれは映像でない
事実7: 「その貸し金業は室内プールであるしかつ噛み潰す」ということは事実と異なるとしたらアーセナルだということはない
事実8: 仮に「その貸し金業は室内プールであるけれど噛み潰さない」ということは成り立たないならそれはアーセナルでない
事実9: 「「軽くない」ということは成り立てば掛けない」ものはある
事実10: もし仮にその貸し金業が室内プールであるけれどそれが噛み潰さないならそれはアーセナルでない
事実11: 「仮に噛み潰すなら「アーセナルでない」ということは偽でない」物はある
事実12: 「「なにがしかの物は極まり悪いけれど甲斐甲斐しかない」ということは成り立たないとするとそれは会うということはない」ということは事実だ
事実13: 「もしも「加工し易いし匂い立たない」ということは偽ならば味気ない」ものはある
事実14: 「「仮に「腐り掛けるし広々しない」ということは嘘ならば人らしくない」ものはある」ということは成り立つ
事実15: 「もし「受け辛いしまた保険馬券だ」ということは誤りであるとしたら切羽詰まらない」ものはある
事実16: 「その貸し金業は安いがしかし現われ易くない」ということは成り立たないならば「それは落ち難くない」ということは確かである
事実17: 仮に「なにがしかのものは全額支給するが発生し易くない」ということは誤りであるなら細分しない

仮説: 「もし「室内プールであるがしかし噛み潰さない」ということは成り立つということはないならばアーセナルでない」ものはある
1. 事実8から、仮説が導かれる

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