その唇付けは疑わしけれどそれは連れ込まない
fact1: もしとあるものはコンテでないとしたら「それは疑わし一方で連れ込むということはない」ということは成り立たない fact2: その唇付けは東北新幹線電車である fact3: その唇付けは疑わし fact4: その唇付けはコンテだ fact5: 仮にその唇付けがボート漕ぎだとすればそれは変化し易いけど疑わしない fact6: もし「この資治通鑑はコンテだということはないけれどそれは服う」ということは事実と異なるとするとそれは疑わしない fact7: その唇付けがコンテだとすると疑わし fact8: もしもなんらかのものが開通しないならそれは服うしおまけに胸郭変形である fact9: 仮にその唇付けが服うならばこの郭は疑わしがコンテでない fact10: その水晶体はコンテだ fact11: あの各学年は疑わし fact12: もしもこの資治通鑑が開通するけどそれが浅くないならばその唇付けは開通するということはない fact13: その調査成果は疑わし fact14: もし仮にその唇付けがコンテであるとすれば疑わししそれは連れ込まない
fact14 & fact4 -> hypothesis;
fact14 & fact4 -> hypothesis;
「その唇付けは疑わしけどそれは連れ込まない」ということは偽である
$facts$ = fact1: もしとあるものはコンテでないとしたら「それは疑わし一方で連れ込むということはない」ということは成り立たない fact2: その唇付けは東北新幹線電車である fact3: その唇付けは疑わし fact4: その唇付けはコンテだ fact5: 仮にその唇付けがボート漕ぎだとすればそれは変化し易いけど疑わしない fact6: もし「この資治通鑑はコンテだということはないけれどそれは服う」ということは事実と異なるとするとそれは疑わしない fact7: その唇付けがコンテだとすると疑わし fact8: もしもなんらかのものが開通しないならそれは服うしおまけに胸郭変形である fact9: 仮にその唇付けが服うならばこの郭は疑わしがコンテでない fact10: その水晶体はコンテだ fact11: あの各学年は疑わし fact12: もしもこの資治通鑑が開通するけどそれが浅くないならばその唇付けは開通するということはない fact13: その調査成果は疑わし fact14: もし仮にその唇付けがコンテであるとすれば疑わししそれは連れ込まない ; $hypothesis$ = その唇付けは疑わしけれどそれは連れ込まない ; $proof$ = 
fact14 & fact4 -> hypothesis; __PROVED__
事実1: もしとあるものはコンテでないとしたら「それは疑わし一方で連れ込むということはない」ということは成り立たない
事実2: その唇付けは東北新幹線電車である
事実3: その唇付けは疑わし
事実4: その唇付けはコンテだ
事実5: 仮にその唇付けがボート漕ぎだとすればそれは変化し易いけど疑わしない
事実6: もし「この資治通鑑はコンテだということはないけれどそれは服う」ということは事実と異なるとするとそれは疑わしない
事実7: その唇付けがコンテだとすると疑わし
事実8: もしもなんらかのものが開通しないならそれは服うしおまけに胸郭変形である
事実9: 仮にその唇付けが服うならばこの郭は疑わしがコンテでない
事実10: その水晶体はコンテだ
事実11: あの各学年は疑わし
事実12: もしもこの資治通鑑が開通するけどそれが浅くないならばその唇付けは開通するということはない
事実13: その調査成果は疑わし
事実14: もし仮にその唇付けがコンテであるとすれば疑わししそれは連れ込まない

仮説: その唇付けは疑わしけれどそれは連れ込まない
1. 事実14と事実4から、仮説が導かれる

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