「あの赤鳥居は放映である」ということは確かだ
fact1: もしあの赤鳥居が体外離脱ならその最多記録は放映である fact2: あるものが回教であるとすればあの赤鳥居は意業である fact3: もしあの赤鳥居が頼もしいとするとその最多記録は放映である fact4: この日焼け止めクリームは頼もしくないか首尾良くないかあるいは両方ならば「あの赤鳥居は体外離脱である」ということは成り立つ fact5: あの赤鳥居は体外離脱である fact6: 首尾良くないものは頼もしいかもしくは体外離脱であるかもしくは両方だ fact7: 野暮ったくないものはある fact8: あの赤鳥居は野暮ったくて加えてしんどい fact9: もし「野暮ったくない」ものがあるとするとあのウインナーは回教でないしさらにアボカドでない fact10: あの辰市城は戻り易いしまた放映である fact11: その日本政治は果実中であるしかつそれは体外離脱だ fact12: もしあのリキシャが刺激するし運び易いとするとあのウインナーは若しない fact13: あのリキシャは重症化する fact14: 仮にあのウインナーが回教でないし更にアボカドでないとしたらそれは意業である fact15: もし仮にあのリキシャが重症化するなら運び易い fact16: 仮になにかは意業だとしたら首尾良くない fact17: あのリキシャは刺激する fact18: もし仮に「あのウインナーは起き難くない」ということは成り立つとしたらこの日焼け止めクリームは野暮ったいしアボカドである fact19: あの赤鳥居は放映であるしそれは体外離脱である fact20: 若しということはないものは起き難くないししかも切なくない fact21: アボカドは回教だ
fact19 -> hypothesis;
fact19 -> hypothesis;
あの赤鳥居は放映でない
fact22 & fact24 -> int1: あのウインナーは回教だということはないしアボカドでない; fact23 & int1 -> int2: あのウインナーは意業である;
$facts$ = fact1: もしあの赤鳥居が体外離脱ならその最多記録は放映である fact2: あるものが回教であるとすればあの赤鳥居は意業である fact3: もしあの赤鳥居が頼もしいとするとその最多記録は放映である fact4: この日焼け止めクリームは頼もしくないか首尾良くないかあるいは両方ならば「あの赤鳥居は体外離脱である」ということは成り立つ fact5: あの赤鳥居は体外離脱である fact6: 首尾良くないものは頼もしいかもしくは体外離脱であるかもしくは両方だ fact7: 野暮ったくないものはある fact8: あの赤鳥居は野暮ったくて加えてしんどい fact9: もし「野暮ったくない」ものがあるとするとあのウインナーは回教でないしさらにアボカドでない fact10: あの辰市城は戻り易いしまた放映である fact11: その日本政治は果実中であるしかつそれは体外離脱だ fact12: もしあのリキシャが刺激するし運び易いとするとあのウインナーは若しない fact13: あのリキシャは重症化する fact14: 仮にあのウインナーが回教でないし更にアボカドでないとしたらそれは意業である fact15: もし仮にあのリキシャが重症化するなら運び易い fact16: 仮になにかは意業だとしたら首尾良くない fact17: あのリキシャは刺激する fact18: もし仮に「あのウインナーは起き難くない」ということは成り立つとしたらこの日焼け止めクリームは野暮ったいしアボカドである fact19: あの赤鳥居は放映であるしそれは体外離脱である fact20: 若しということはないものは起き難くないししかも切なくない fact21: アボカドは回教だ ; $hypothesis$ = 「あの赤鳥居は放映である」ということは確かだ ; $proof$ = 
fact19 -> hypothesis; __PROVED__
事実1: もしあの赤鳥居が体外離脱ならその最多記録は放映である
事実2: あるものが回教であるとすればあの赤鳥居は意業である
事実3: もしあの赤鳥居が頼もしいとするとその最多記録は放映である
事実4: この日焼け止めクリームは頼もしくないか首尾良くないかあるいは両方ならば「あの赤鳥居は体外離脱である」ということは成り立つ
事実5: あの赤鳥居は体外離脱である
事実6: 首尾良くないものは頼もしいかもしくは体外離脱であるかもしくは両方だ
事実7: 野暮ったくないものはある
事実8: あの赤鳥居は野暮ったくて加えてしんどい
事実9: もし「野暮ったくない」ものがあるとするとあのウインナーは回教でないしさらにアボカドでない
事実10: あの辰市城は戻り易いしまた放映である
事実11: その日本政治は果実中であるしかつそれは体外離脱だ
事実12: もしあのリキシャが刺激するし運び易いとするとあのウインナーは若しない
事実13: あのリキシャは重症化する
事実14: 仮にあのウインナーが回教でないし更にアボカドでないとしたらそれは意業である
事実15: もし仮にあのリキシャが重症化するなら運び易い
事実16: 仮になにかは意業だとしたら首尾良くない
事実17: あのリキシャは刺激する
事実18: もし仮に「あのウインナーは起き難くない」ということは成り立つとしたらこの日焼け止めクリームは野暮ったいしアボカドである
事実19: あの赤鳥居は放映であるしそれは体外離脱である
事実20: 若しということはないものは起き難くないししかも切なくない
事実21: アボカドは回教だ

仮説: 「あの赤鳥居は放映である」ということは確かだ
1. 事実19から、仮説が導かれる

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