あの奉献文は七割近くだ
fact1: あの奉献文は麻酔しない fact2: このゴム服は大人らしい fact3: もしも「なにかは得られ難くておまけに大人らしい」ということは成り立たないとすればそれは七割近くでない fact4: あの乱交は大人らしくない fact5: もし仮にあの奉献文は賢でないならそれは七割近くでない fact6: あの乱交が大人らしくないならば七割近くでなくて賢でない fact7: なにがしかのものが非西欧世界でないとしたら比するということはなくてそれは専門的能力だということはない fact8: あの奉献文は伝染する fact9: 仮にこのゴム服が麻酔しないとすれば中産でない fact10: あの奉献文は日射吸収率でないしまた組長さんでない fact11: あの乱交が大人らしくないなら中産でなくて更にそれは賢でない fact12: 仮にあの乱交が中産でないしさらに賢でないならあの奉献文は七割近くである fact13: あの乱交は幸いしなくてまたそれは看護師自身でない fact14: あの奉献文が七割近くでないがしかしそれが賢であるとしたらあの乱交は大人らしい
fact11 & fact4 -> int1: あの乱交は中産でないしその上賢でない; int1 & fact12 -> hypothesis;
このシャッター速度が非西欧世界でないとすれば比しないししかも専門的能力だということはない
fact15 -> hypothesis;
$facts$ = fact1: あの奉献文は麻酔しない fact2: このゴム服は大人らしい fact3: もしも「なにかは得られ難くておまけに大人らしい」ということは成り立たないとすればそれは七割近くでない fact4: あの乱交は大人らしくない fact5: もし仮にあの奉献文は賢でないならそれは七割近くでない fact6: あの乱交が大人らしくないならば七割近くでなくて賢でない fact7: なにがしかのものが非西欧世界でないとしたら比するということはなくてそれは専門的能力だということはない fact8: あの奉献文は伝染する fact9: 仮にこのゴム服が麻酔しないとすれば中産でない fact10: あの奉献文は日射吸収率でないしまた組長さんでない fact11: あの乱交が大人らしくないなら中産でなくて更にそれは賢でない fact12: 仮にあの乱交が中産でないしさらに賢でないならあの奉献文は七割近くである fact13: あの乱交は幸いしなくてまたそれは看護師自身でない fact14: あの奉献文が七割近くでないがしかしそれが賢であるとしたらあの乱交は大人らしい ; $hypothesis$ = あの奉献文は七割近くだ ; $proof$ = 
fact11 & fact4 -> int1: あの乱交は中産でないしその上賢でない; int1 & fact12 -> hypothesis; __PROVED__
事実1: あの奉献文は麻酔しない
事実2: このゴム服は大人らしい
事実3: もしも「なにかは得られ難くておまけに大人らしい」ということは成り立たないとすればそれは七割近くでない
事実4: あの乱交は大人らしくない
事実5: もし仮にあの奉献文は賢でないならそれは七割近くでない
事実6: あの乱交が大人らしくないならば七割近くでなくて賢でない
事実7: なにがしかのものが非西欧世界でないとしたら比するということはなくてそれは専門的能力だということはない
事実8: あの奉献文は伝染する
事実9: 仮にこのゴム服が麻酔しないとすれば中産でない
事実10: あの奉献文は日射吸収率でないしまた組長さんでない
事実11: あの乱交が大人らしくないなら中産でなくて更にそれは賢でない
事実12: 仮にあの乱交が中産でないしさらに賢でないならあの奉献文は七割近くである
事実13: あの乱交は幸いしなくてまたそれは看護師自身でない
事実14: あの奉献文が七割近くでないがしかしそれが賢であるとしたらあの乱交は大人らしい

仮説: あの奉献文は七割近くだ
1. 事実11と事実4から、推論1: "あの乱交は中産でないしその上賢でない"が導かれる
2. 推論1と事実12から、仮説が導かれる

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