「もし巨岩であるならば「同数でないか口汚い」ということは嘘である」物はある
fact1: もし仮になにかは止む無いとすれば「一日しないかコンデであるかあるいは両方だ」ということは成り立たない fact2: 「もし殉教するなら「読み難いかもしくはブランドらしい」ということは間違っている」物はある fact3: もしこの父・一徹が倒れ難いならばそれは口汚いということはないか溢れ続けるかまたはどちらもである fact4: 「巨岩であるとすると「同数であるかあるいは口汚い」ということは誤っている」ものはある fact5: 「「巨岩ならば同数でないかもしくは口汚いかもしくはどちらもな」ものはある」ということは間違いでない fact6: この父・一徹が口汚いとするとそれは刺し貫かないかそれは解明出来る fact7: 「熟すとすると御寒い」物はある fact8: もしも「この父・一徹は口汚い」ということは成り立つとすると細いということはないかきついかあるいは両方ともだ fact9: もしあの生活設計が申し訳だとしたらそれは同数だ fact10: もしこの父・一徹は巨岩であるとしたら「それは同数であるということはないかまたは口汚いかまたは両方だ」ということは間違っている fact11: 「もしも淀み無いならば「変化し易いということはないかまたは御嬢様であるかもしくは両方だ」ということは間違いである」ものはある fact12: 「「狭いなら「小姑であるか引き出せるかどちらもだ」ということは成り立たない」ものはある」ということは本当である fact13: 「御出しするならガードするということはない」物はある fact14: 「もし仮に巨砲だとするとＣＧＦＮＳでないかまたは取り締まれるかあるいは両方ともな」ものはある
fact10 -> hypothesis;
fact10 -> hypothesis;
「もし仮に止む無いとすると「一日するということはないかコンデであるかもしくは両方だ」ということは成り立たない」物はある
fact15 -> int1: もしもあの第二次調査は止む無いとしたら「それは一日しないかあるいはコンデであるかどちらもである」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: もし仮になにかは止む無いとすれば「一日しないかコンデであるかあるいは両方だ」ということは成り立たない fact2: 「もし殉教するなら「読み難いかもしくはブランドらしい」ということは間違っている」物はある fact3: もしこの父・一徹が倒れ難いならばそれは口汚いということはないか溢れ続けるかまたはどちらもである fact4: 「巨岩であるとすると「同数であるかあるいは口汚い」ということは誤っている」ものはある fact5: 「「巨岩ならば同数でないかもしくは口汚いかもしくはどちらもな」ものはある」ということは間違いでない fact6: この父・一徹が口汚いとするとそれは刺し貫かないかそれは解明出来る fact7: 「熟すとすると御寒い」物はある fact8: もしも「この父・一徹は口汚い」ということは成り立つとすると細いということはないかきついかあるいは両方ともだ fact9: もしあの生活設計が申し訳だとしたらそれは同数だ fact10: もしこの父・一徹は巨岩であるとしたら「それは同数であるということはないかまたは口汚いかまたは両方だ」ということは間違っている fact11: 「もしも淀み無いならば「変化し易いということはないかまたは御嬢様であるかもしくは両方だ」ということは間違いである」ものはある fact12: 「「狭いなら「小姑であるか引き出せるかどちらもだ」ということは成り立たない」ものはある」ということは本当である fact13: 「御出しするならガードするということはない」物はある fact14: 「もし仮に巨砲だとするとＣＧＦＮＳでないかまたは取り締まれるかあるいは両方ともな」ものはある ; $hypothesis$ = 「もし巨岩であるならば「同数でないか口汚い」ということは嘘である」物はある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もし仮になにかは止む無いとすれば「一日しないかコンデであるかあるいは両方だ」ということは成り立たない
事実2: 「もし殉教するなら「読み難いかもしくはブランドらしい」ということは間違っている」物はある
事実3: もしこの父・一徹が倒れ難いならばそれは口汚いということはないか溢れ続けるかまたはどちらもである
事実4: 「巨岩であるとすると「同数であるかあるいは口汚い」ということは誤っている」ものはある
事実5: 「「巨岩ならば同数でないかもしくは口汚いかもしくはどちらもな」ものはある」ということは間違いでない
事実6: この父・一徹が口汚いとするとそれは刺し貫かないかそれは解明出来る
事実7: 「熟すとすると御寒い」物はある
事実8: もしも「この父・一徹は口汚い」ということは成り立つとすると細いということはないかきついかあるいは両方ともだ
事実9: もしあの生活設計が申し訳だとしたらそれは同数だ
事実10: もしこの父・一徹は巨岩であるとしたら「それは同数であるということはないかまたは口汚いかまたは両方だ」ということは間違っている
事実11: 「もしも淀み無いならば「変化し易いということはないかまたは御嬢様であるかもしくは両方だ」ということは間違いである」ものはある
事実12: 「「狭いなら「小姑であるか引き出せるかどちらもだ」ということは成り立たない」ものはある」ということは本当である
事実13: 「御出しするならガードするということはない」物はある
事実14: 「もし仮に巨砲だとするとＣＧＦＮＳでないかまたは取り締まれるかあるいは両方ともな」ものはある

仮説: 「もし巨岩であるならば「同数でないか口汚い」ということは嘘である」物はある
1. 事実10から、仮説が導かれる

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