その隻眼は結合し易いということはない
fact1: その隻眼は膣炎であるかあるいは世知辛いかもしくは両方である fact2: もし仮にその火山島が嘗め回すし更に星だとするとその電解質バランスは逃げ果せない fact3: 「その隻眼は読み捨てである一方で洒落臭くない」ということは成り立たない fact4: もしもなんらかの物は洒落臭くないとすれば「それは星でないしさらに嘗め回す」ということは間違いだ fact5: その火山島が持ち為されば調べ物度でない fact6: その火山島は充当であるかまたは持ち為さるかもしくは両方ともである fact7: もし仮にその火山島が調べ物度でないならその隻眼は結合し易くない fact8: もし仮に何らかの物が逃げ果せないとすると結合し易いしおまけにそれは調べ物度だ fact9: 仮にその火山島は沖振計であるかもしくは調べ物度であるならそれは出生前でない fact10: 洒落臭いものは嘗め回す fact11: その火山島は充当であるかまたは持ち為されば調べ物度でない fact12: もしも「こっ酷くないか読み捨てであるということはない」物があるとするとその火山島は洒落臭くない fact13: もし何かは逃げ果せないならば「それは結合し易くない」ということは間違っていない fact14: この稿は実質的意思でない fact15: 仮にこの稿が実質的意思でないならばそれはこっ酷いということはないかあるいは読み捨てでないかもしくは両方ともである fact16: あの炊飯器は結合し易くない fact17: 結合し易くないものは調べ物度でない
fact11 & fact6 -> int1: その火山島は調べ物度でない; int1 & fact7 -> hypothesis;
fact11 & fact6 -> int1: ¬{B}{a}; int1 & fact7 -> hypothesis;
その隻眼は結合し易い
fact18 -> int2: その隻眼が逃げ果せないとすると結合し易くて調べ物度だ; fact20 -> int3: もし仮にその火山島は洒落臭くないとすると「それは星でないがしかし嘗め回す」ということは事実と異なる; fact19 & fact22 -> int4: この稿はこっ酷くないかもしくは読み捨てでないかまたはどちらもだ; int4 -> int5: 何らかのものはこっ酷くないかもしくは読み捨てでないかもしくはどちらもである; int5 & fact21 -> int6: その火山島は洒落臭くない; int3 & int6 -> int7: 「その火山島は星であるということはないけれどそれは嘗め回す」ということは偽だ; int7 -> int8: 「「星でない一方で嘗め回す」ということは成り立たない」ものはある;
$facts$ = fact1: その隻眼は膣炎であるかあるいは世知辛いかもしくは両方である fact2: もし仮にその火山島が嘗め回すし更に星だとするとその電解質バランスは逃げ果せない fact3: 「その隻眼は読み捨てである一方で洒落臭くない」ということは成り立たない fact4: もしもなんらかの物は洒落臭くないとすれば「それは星でないしさらに嘗め回す」ということは間違いだ fact5: その火山島が持ち為されば調べ物度でない fact6: その火山島は充当であるかまたは持ち為さるかもしくは両方ともである fact7: もし仮にその火山島が調べ物度でないならその隻眼は結合し易くない fact8: もし仮に何らかの物が逃げ果せないとすると結合し易いしおまけにそれは調べ物度だ fact9: 仮にその火山島は沖振計であるかもしくは調べ物度であるならそれは出生前でない fact10: 洒落臭いものは嘗め回す fact11: その火山島は充当であるかまたは持ち為されば調べ物度でない fact12: もしも「こっ酷くないか読み捨てであるということはない」物があるとするとその火山島は洒落臭くない fact13: もし何かは逃げ果せないならば「それは結合し易くない」ということは間違っていない fact14: この稿は実質的意思でない fact15: 仮にこの稿が実質的意思でないならばそれはこっ酷いということはないかあるいは読み捨てでないかもしくは両方ともである fact16: あの炊飯器は結合し易くない fact17: 結合し易くないものは調べ物度でない ; $hypothesis$ = その隻眼は結合し易いということはない ; $proof$ = 
fact11 & fact6 -> int1: その火山島は調べ物度でない; int1 & fact7 -> hypothesis; __PROVED__
事実1: その隻眼は膣炎であるかあるいは世知辛いかもしくは両方である
事実2: もし仮にその火山島が嘗め回すし更に星だとするとその電解質バランスは逃げ果せない
事実3: 「その隻眼は読み捨てである一方で洒落臭くない」ということは成り立たない
事実4: もしもなんらかの物は洒落臭くないとすれば「それは星でないしさらに嘗め回す」ということは間違いだ
事実5: その火山島が持ち為されば調べ物度でない
事実6: その火山島は充当であるかまたは持ち為さるかもしくは両方ともである
事実7: もし仮にその火山島が調べ物度でないならその隻眼は結合し易くない
事実8: もし仮に何らかの物が逃げ果せないとすると結合し易いしおまけにそれは調べ物度だ
事実9: 仮にその火山島は沖振計であるかもしくは調べ物度であるならそれは出生前でない
事実10: 洒落臭いものは嘗め回す
事実11: その火山島は充当であるかまたは持ち為されば調べ物度でない
事実12: もしも「こっ酷くないか読み捨てであるということはない」物があるとするとその火山島は洒落臭くない
事実13: もし何かは逃げ果せないならば「それは結合し易くない」ということは間違っていない
事実14: この稿は実質的意思でない
事実15: 仮にこの稿が実質的意思でないならばそれはこっ酷いということはないかあるいは読み捨てでないかもしくは両方ともである
事実16: あの炊飯器は結合し易くない
事実17: 結合し易くないものは調べ物度でない

仮説: その隻眼は結合し易いということはない
1. 事実11と事実6から、推論1: "その火山島は調べ物度でない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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