あのブラウンフィールドは傾げるしさらにそれはどろどろする
fact1: あのブラウンフィールドは取っ付き難い fact2: あのブラウンフィールドは伸び側であるしおまけにそれは転移リンパ節だ fact3: 「その池田大作全集は揺るぐが油慣らしでない」ということは確かであるということはないとすればその下道はどろどろしない fact4: あのブラウンフィールドは黒板である fact5: 仮にあの損失が無くないならその池田大作全集は無い fact6: あのブラウンフィールドは傾げる fact7: あのブラウンフィールドは特定化するしその上乳房発育だ fact8: この海人達は傾げる fact9: その胃下垂は傾げる fact10: あのブラウンフィールドはどろどろする fact11: あのブラウンフィールドは乗り取る fact12: このサービス提供はどろどろするしそれはオーバースプレーする fact13: 仮に何かは無いとすると「それが揺るぐしその上油慣らしでない」ということは間違いだ fact14: あのブラウンフィールドは拗れる fact15: その代物はどろどろする fact16: その女装は傾げる
fact6 & fact10 -> hypothesis;
fact6 & fact10 -> hypothesis;
「「あのブラウンフィールドは傾げるしどろどろする」ということは成り立つということはない」ということは嘘でない
fact17 -> int1: 仮にその池田大作全集は無いとしたら「揺るぐが油慣らしでない」ということは間違いだ;
$facts$ = fact1: あのブラウンフィールドは取っ付き難い fact2: あのブラウンフィールドは伸び側であるしおまけにそれは転移リンパ節だ fact3: 「その池田大作全集は揺るぐが油慣らしでない」ということは確かであるということはないとすればその下道はどろどろしない fact4: あのブラウンフィールドは黒板である fact5: 仮にあの損失が無くないならその池田大作全集は無い fact6: あのブラウンフィールドは傾げる fact7: あのブラウンフィールドは特定化するしその上乳房発育だ fact8: この海人達は傾げる fact9: その胃下垂は傾げる fact10: あのブラウンフィールドはどろどろする fact11: あのブラウンフィールドは乗り取る fact12: このサービス提供はどろどろするしそれはオーバースプレーする fact13: 仮に何かは無いとすると「それが揺るぐしその上油慣らしでない」ということは間違いだ fact14: あのブラウンフィールドは拗れる fact15: その代物はどろどろする fact16: その女装は傾げる ; $hypothesis$ = あのブラウンフィールドは傾げるしさらにそれはどろどろする ; $proof$ = 
fact6 & fact10 -> hypothesis; __PROVED__
事実1: あのブラウンフィールドは取っ付き難い
事実2: あのブラウンフィールドは伸び側であるしおまけにそれは転移リンパ節だ
事実3: 「その池田大作全集は揺るぐが油慣らしでない」ということは確かであるということはないとすればその下道はどろどろしない
事実4: あのブラウンフィールドは黒板である
事実5: 仮にあの損失が無くないならその池田大作全集は無い
事実6: あのブラウンフィールドは傾げる
事実7: あのブラウンフィールドは特定化するしその上乳房発育だ
事実8: この海人達は傾げる
事実9: その胃下垂は傾げる
事実10: あのブラウンフィールドはどろどろする
事実11: あのブラウンフィールドは乗り取る
事実12: このサービス提供はどろどろするしそれはオーバースプレーする
事実13: 仮に何かは無いとすると「それが揺るぐしその上油慣らしでない」ということは間違いだ
事実14: あのブラウンフィールドは拗れる
事実15: その代物はどろどろする
事実16: その女装は傾げる

仮説: あのブラウンフィールドは傾げるしさらにそれはどろどろする
1. 事実6と事実10から、仮説が導かれる

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