「製造販売である」ものはある
fact1: この継続学習はクリーニングする fact2: もしなにがしかのものが頼り無いとするとそれは製造販売だ fact3: もしもあの透かしスタンプがあくどくないとするとそれは躱すかもしくはそれはぎょっとしない fact4: もしあの透かしスタンプがまだるっこしくないならこの継続学習は製造販売であるがしかし頼り無くない fact5: もし仮にあの透かしスタンプがトレードカードだけれどそれが再確認しないならあくどくない fact6: この勘弁は配送しない fact7: もしもこの勘弁がクリーニングするけれど配送しないとするとあの透かしスタンプは頼り無い fact8: 「クリーニングする」ものはある fact9: この継続学習はまだるっこしくない fact10: もしそのブロワ伯が頼り無くないならばクリーニングするしそれはまだるっこしい fact11: もし仮にこの勘弁がクリーニングするしさらにそれは配送すれば「あの透かしスタンプは頼り無いということはない」ということは事実と異なる fact12: 仮にこの継続学習はまだるっこしくないとすると「この勘弁はクリーニングするけど配送しない」ということは事実である fact13: あの透かしスタンプが製造販売でないとしたらこの勘弁は頼り無いということはないかあるいはまだるっこしいかまたは両方ともである fact14: この継続学習は配送する fact15: もしもこの継続学習がまだるっこしくないとするとこの勘弁は配送しない
fact12 & fact9 -> int1: この勘弁はクリーニングするがしかし配送しない; int1 & fact7 -> int2: あの透かしスタンプは頼り無い; fact2 -> int3: もしもあの透かしスタンプが頼り無いとすれば製造販売である; int2 & int3 -> int4: あの透かしスタンプは製造販売である; int4 -> hypothesis;
「取得する」物はある
$facts$ = fact1: この継続学習はクリーニングする fact2: もしなにがしかのものが頼り無いとするとそれは製造販売だ fact3: もしもあの透かしスタンプがあくどくないとするとそれは躱すかもしくはそれはぎょっとしない fact4: もしあの透かしスタンプがまだるっこしくないならこの継続学習は製造販売であるがしかし頼り無くない fact5: もし仮にあの透かしスタンプがトレードカードだけれどそれが再確認しないならあくどくない fact6: この勘弁は配送しない fact7: もしもこの勘弁がクリーニングするけれど配送しないとするとあの透かしスタンプは頼り無い fact8: 「クリーニングする」ものはある fact9: この継続学習はまだるっこしくない fact10: もしそのブロワ伯が頼り無くないならばクリーニングするしそれはまだるっこしい fact11: もし仮にこの勘弁がクリーニングするしさらにそれは配送すれば「あの透かしスタンプは頼り無いということはない」ということは事実と異なる fact12: 仮にこの継続学習はまだるっこしくないとすると「この勘弁はクリーニングするけど配送しない」ということは事実である fact13: あの透かしスタンプが製造販売でないとしたらこの勘弁は頼り無いということはないかあるいはまだるっこしいかまたは両方ともである fact14: この継続学習は配送する fact15: もしもこの継続学習がまだるっこしくないとするとこの勘弁は配送しない ; $hypothesis$ = 「製造販売である」ものはある ; $proof$ = 
fact12 & fact9 -> int1: この勘弁はクリーニングするがしかし配送しない; int1 & fact7 -> int2: あの透かしスタンプは頼り無い; fact2 -> int3: もしもあの透かしスタンプが頼り無いとすれば製造販売である; int2 & int3 -> int4: あの透かしスタンプは製造販売である; int4 -> hypothesis; __PROVED__
事実1: この継続学習はクリーニングする
事実2: もしなにがしかのものが頼り無いとするとそれは製造販売だ
事実3: もしもあの透かしスタンプがあくどくないとするとそれは躱すかもしくはそれはぎょっとしない
事実4: もしあの透かしスタンプがまだるっこしくないならこの継続学習は製造販売であるがしかし頼り無くない
事実5: もし仮にあの透かしスタンプがトレードカードだけれどそれが再確認しないならあくどくない
事実6: この勘弁は配送しない
事実7: もしもこの勘弁がクリーニングするけれど配送しないとするとあの透かしスタンプは頼り無い
事実8: 「クリーニングする」ものはある
事実9: この継続学習はまだるっこしくない
事実10: もしそのブロワ伯が頼り無くないならばクリーニングするしそれはまだるっこしい
事実11: もし仮にこの勘弁がクリーニングするしさらにそれは配送すれば「あの透かしスタンプは頼り無いということはない」ということは事実と異なる
事実12: 仮にこの継続学習はまだるっこしくないとすると「この勘弁はクリーニングするけど配送しない」ということは事実である
事実13: あの透かしスタンプが製造販売でないとしたらこの勘弁は頼り無いということはないかあるいはまだるっこしいかまたは両方ともである
事実14: この継続学習は配送する
事実15: もしもこの継続学習がまだるっこしくないとするとこの勘弁は配送しない

仮説: 「製造販売である」ものはある
1. 事実12と事実9から、推論1: "この勘弁はクリーニングするがしかし配送しない"が導かれる
2. 推論1と事実7から、推論2: "あの透かしスタンプは頼り無い"が導かれる
3. 事実2から、推論3: "もしもあの透かしスタンプが頼り無いとすれば製造販売である"が導かれる
4. 推論2と推論3から、推論4: "あの透かしスタンプは製造販売である"が導かれる
5. 推論4から、仮説が導かれる

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