「口付けるとしたら「底深いが調剤しない」ということは間違っている」ものはある
fact1: 「狙い易いとしたら「ローストするけれど温だということはない」ということは間違っている」ものはある fact2: 「もし口付けるとしたら底深いし調剤しない」ものはある fact3: もしも何らかの物は責めるとしたら「それは事業化するが底深くない」ということは成り立たない fact4: 「その死骸は口付けるなら「その死骸は底深くてさらに調剤する」ということは成り立つということはない」ということは確かだ fact5: もしもその死骸は曇り無しならば「四捨五入するしかつデータベース・システムでない」ということは偽である fact6: その死骸は口付けるなら「それは底深いし調剤しない」ということは成り立たない fact7: 仮に「その死骸は口付ける」ということは事実だとしたら底深いが調剤しない fact8: 「もしも口付けるとしたら「底深いしかつ調剤する」ということは嘘である」ものはある fact9: 「もし仮に拍手するとすると「労働時間管理だけど動力でない」ということは誤っている」ものはある fact10: もしその死骸は受け入れ易いとすると「第一次インドシナ戦争であるけれど底深くない」ということは確かでない fact11: 仮に「なにがしかの物は小難しい」ということは成り立つとすれば「誇示するけれど晴々しかない」ということは誤りである
fact6 -> hypothesis;
もしこのアタッシェケースは責めるとすれば「事業化するしまたそれは底深くない」ということは成り立つということはない
fact12 -> hypothesis;
$facts$ = fact1: 「狙い易いとしたら「ローストするけれど温だということはない」ということは間違っている」ものはある fact2: 「もし口付けるとしたら底深いし調剤しない」ものはある fact3: もしも何らかの物は責めるとしたら「それは事業化するが底深くない」ということは成り立たない fact4: 「その死骸は口付けるなら「その死骸は底深くてさらに調剤する」ということは成り立つということはない」ということは確かだ fact5: もしもその死骸は曇り無しならば「四捨五入するしかつデータベース・システムでない」ということは偽である fact6: その死骸は口付けるなら「それは底深いし調剤しない」ということは成り立たない fact7: 仮に「その死骸は口付ける」ということは事実だとしたら底深いが調剤しない fact8: 「もしも口付けるとしたら「底深いしかつ調剤する」ということは嘘である」ものはある fact9: 「もし仮に拍手するとすると「労働時間管理だけど動力でない」ということは誤っている」ものはある fact10: もしその死骸は受け入れ易いとすると「第一次インドシナ戦争であるけれど底深くない」ということは確かでない fact11: 仮に「なにがしかの物は小難しい」ということは成り立つとすれば「誇示するけれど晴々しかない」ということは誤りである ; $hypothesis$ = 「口付けるとしたら「底深いが調剤しない」ということは間違っている」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「狙い易いとしたら「ローストするけれど温だということはない」ということは間違っている」ものはある
事実2: 「もし口付けるとしたら底深いし調剤しない」ものはある
事実3: もしも何らかの物は責めるとしたら「それは事業化するが底深くない」ということは成り立たない
事実4: 「その死骸は口付けるなら「その死骸は底深くてさらに調剤する」ということは成り立つということはない」ということは確かだ
事実5: もしもその死骸は曇り無しならば「四捨五入するしかつデータベース・システムでない」ということは偽である
事実6: その死骸は口付けるなら「それは底深いし調剤しない」ということは成り立たない
事実7: 仮に「その死骸は口付ける」ということは事実だとしたら底深いが調剤しない
事実8: 「もしも口付けるとしたら「底深いしかつ調剤する」ということは嘘である」ものはある
事実9: 「もし仮に拍手するとすると「労働時間管理だけど動力でない」ということは誤っている」ものはある
事実10: もしその死骸は受け入れ易いとすると「第一次インドシナ戦争であるけれど底深くない」ということは確かでない
事実11: 仮に「なにがしかの物は小難しい」ということは成り立つとすれば「誇示するけれど晴々しかない」ということは誤りである

仮説: 「口付けるとしたら「底深いが調剤しない」ということは間違っている」ものはある
1. 事実6から、仮説が導かれる

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