「もしも狂おしいししかもそそっかしいならば夕でない」物はある
fact1: 「シックススであるし流れ付くとすると骨っぽくない」ものはある fact2: 仮にあの統一部資料が狂おしくてさらにそれがそそっかしいとすると夕でない fact3: もし仮にあの統一部資料は狂おしいしおまけに原理主義者だとすると骨っぽくない fact4: もし「あの統一部資料は狂おしくておまけにそそっかしい」ということは確かならばそれは夕である fact5: 素晴らしい背徳は売り上げ債権でない fact6: もしこのコンビネーションメーターは新型ウイルスだし加えて狂おしいなら暗い fact7: 「もしも狂おしいしその上そそっかしいとすれば夕である」ものはある
fact2 -> hypothesis;
「もし仮に背徳だしまた素晴らしいなら売り上げ債権でない」物はある
fact8 -> int1: その対潜哨戒が背徳であるし加えて素晴らしいとするとそれは売り上げ債権でない; int1 -> hypothesis;
$facts$ = fact1: 「シックススであるし流れ付くとすると骨っぽくない」ものはある fact2: 仮にあの統一部資料が狂おしくてさらにそれがそそっかしいとすると夕でない fact3: もし仮にあの統一部資料は狂おしいしおまけに原理主義者だとすると骨っぽくない fact4: もし「あの統一部資料は狂おしくておまけにそそっかしい」ということは確かならばそれは夕である fact5: 素晴らしい背徳は売り上げ債権でない fact6: もしこのコンビネーションメーターは新型ウイルスだし加えて狂おしいなら暗い fact7: 「もしも狂おしいしその上そそっかしいとすれば夕である」ものはある ; $hypothesis$ = 「もしも狂おしいししかもそそっかしいならば夕でない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「シックススであるし流れ付くとすると骨っぽくない」ものはある
事実2: 仮にあの統一部資料が狂おしくてさらにそれがそそっかしいとすると夕でない
事実3: もし仮にあの統一部資料は狂おしいしおまけに原理主義者だとすると骨っぽくない
事実4: もし「あの統一部資料は狂おしくておまけにそそっかしい」ということは確かならばそれは夕である
事実5: 素晴らしい背徳は売り上げ債権でない
事実6: もしこのコンビネーションメーターは新型ウイルスだし加えて狂おしいなら暗い
事実7: 「もしも狂おしいしその上そそっかしいとすれば夕である」ものはある

仮説: 「もしも狂おしいししかもそそっかしいならば夕でない」物はある
1. 事実2から、仮説が導かれる

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