このＯ型はＲアットだということはないが貸与する
fact1: 仮に「ある物は買い物籠であるけれどそれは精密爆撃であるということはない」ということは成り立たないならそれはＲアットである fact2: もし仮にその通信コストは買い物籠であるとすると居残りである fact3: このＯ型は貸与する fact4: 仮にこのＯ型が満載するならそれは点滴スタンドでないけれど隠形する fact5: このＯ型はマッチしないけれど格上げする fact6: もしもこのＯ型は買い物籠であるならばそれはＲアットでないがしかし貸与する fact7: 「もし「なにかは取り違えるということはない一方で買い物籠だ」ということは成り立たないならそれは買い物籠だということはない」ということは成り立つ fact8: あの農場内はＲアットだ fact9: このＯ型は気難しくない一方でそれは示し合わせる fact10: 「もし仮にその商法規定は精密爆撃であるとしたら「その商法規定は取り違えない一方で買い物籠だ」ということは成り立たない」ということは確かである fact11: もしその死刑が買い物籠だとしたら麻酔する fact12: このＯ型は女性排除だということはないけれど抜き掛ける fact13: このＯ型は買い物籠だ fact14: もし「このＯ型は括約筋である」ということは本当であるとするとそれは買い物籠でないし二号館である fact15: 「あの推進はＲアットだ」ということは確かであるとすると弾き出す fact16: この五千以上はＲアットである
fact6 & fact13 -> hypothesis;
fact6 & fact13 -> hypothesis;
「このＯ型はＲアットであるということはないけれどそれは貸与する」ということは事実でない
fact18 -> int1: もし「その商法規定は取り違えないがしかし買い物籠だ」ということは誤っているとするとそれは買い物籠でない;
$facts$ = fact1: 仮に「ある物は買い物籠であるけれどそれは精密爆撃であるということはない」ということは成り立たないならそれはＲアットである fact2: もし仮にその通信コストは買い物籠であるとすると居残りである fact3: このＯ型は貸与する fact4: 仮にこのＯ型が満載するならそれは点滴スタンドでないけれど隠形する fact5: このＯ型はマッチしないけれど格上げする fact6: もしもこのＯ型は買い物籠であるならばそれはＲアットでないがしかし貸与する fact7: 「もし「なにかは取り違えるということはない一方で買い物籠だ」ということは成り立たないならそれは買い物籠だということはない」ということは成り立つ fact8: あの農場内はＲアットだ fact9: このＯ型は気難しくない一方でそれは示し合わせる fact10: 「もし仮にその商法規定は精密爆撃であるとしたら「その商法規定は取り違えない一方で買い物籠だ」ということは成り立たない」ということは確かである fact11: もしその死刑が買い物籠だとしたら麻酔する fact12: このＯ型は女性排除だということはないけれど抜き掛ける fact13: このＯ型は買い物籠だ fact14: もし「このＯ型は括約筋である」ということは本当であるとするとそれは買い物籠でないし二号館である fact15: 「あの推進はＲアットだ」ということは確かであるとすると弾き出す fact16: この五千以上はＲアットである ; $hypothesis$ = このＯ型はＲアットだということはないが貸与する ; $proof$ = 
fact6 & fact13 -> hypothesis; __PROVED__
事実1: 仮に「ある物は買い物籠であるけれどそれは精密爆撃であるということはない」ということは成り立たないならそれはＲアットである
事実2: もし仮にその通信コストは買い物籠であるとすると居残りである
事実3: このＯ型は貸与する
事実4: 仮にこのＯ型が満載するならそれは点滴スタンドでないけれど隠形する
事実5: このＯ型はマッチしないけれど格上げする
事実6: もしもこのＯ型は買い物籠であるならばそれはＲアットでないがしかし貸与する
事実7: 「もし「なにかは取り違えるということはない一方で買い物籠だ」ということは成り立たないならそれは買い物籠だということはない」ということは成り立つ
事実8: あの農場内はＲアットだ
事実9: このＯ型は気難しくない一方でそれは示し合わせる
事実10: 「もし仮にその商法規定は精密爆撃であるとしたら「その商法規定は取り違えない一方で買い物籠だ」ということは成り立たない」ということは確かである
事実11: もしその死刑が買い物籠だとしたら麻酔する
事実12: このＯ型は女性排除だということはないけれど抜き掛ける
事実13: このＯ型は買い物籠だ
事実14: もし「このＯ型は括約筋である」ということは本当であるとするとそれは買い物籠でないし二号館である
事実15: 「あの推進はＲアットだ」ということは確かであるとすると弾き出す
事実16: この五千以上はＲアットである

仮説: このＯ型はＲアットだということはないが貸与する
1. 事実6と事実13から、仮説が導かれる

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