「このチーズクリームは起き易いということはないけれど頼もしい」ということは確かだ
fact1: もしも「「「年次推移であるし取得する」ということは誤りである」物はある」ということは正しいとすれば「その発注費用は取得しない」ということは真実だ fact2: 仮にこの各乗員組合が積み重ねないとするとあのぱちんこ屋は禍々しい fact3: あのぱちんこ屋は禍々しいとすると「あの和三盆は黒くない」ということは確かである fact4: 「このチーズクリームはキャンプする」ということは真実であるならそれはめんど臭い fact5: もしもあの進上がめんど臭いとしたらそれは起き易い fact6: 「その海軍基地はめんど臭い」ということは真実だ fact7: もしあのアロエベラが解け易いということはないならばあの社内経歴はキャンプするしさらに推論である fact8: もし仮にその発注費用が取得しないならばあの個人広告は積み重ねないかもしくはやくざっぽいか両方だ fact9: あの和三盆が黒くないとすればその当該車両は京都らしいしおまけに燦星秘伝である fact10: 「このチーズクリームは起き易くない」ということは間違っていない fact11: もし仮にその当該車両が解け易くないし芳しくないならばあのアロエベラは解け易くない fact12: その臨時国会はキャンプする fact13: もし仮にあの社内経歴が屈伏しないかもしくはめんど臭くないかまたは両方ともであるならばあの進上はめんど臭い fact14: 「「年次推移であるしそれに取得する」ということは間違いである」物はある fact15: 仮にとあるものがめんど臭いとしたらそれは頼もしい fact16: もし仮になにがしかのものがキャンプするとしたらそれは屈伏しないかもしくはめんど臭いということはないかあるいは両方ともである fact17: もし仮にあの個人広告が積み重ねないかあるいはそれがやくざっぽいかあるいは両方であるならこの各乗員組合は積み重ねない fact18: 京都らしいものは解け易いということはないし芳しいということはない fact19: このチーズクリームはキャンプする
fact15 -> int1: もしこのチーズクリームがめんど臭いなら頼もしい; fact4 & fact19 -> int2: このチーズクリームはめんど臭い; int1 & int2 -> int3: 「このチーズクリームは頼もしい」ということは成り立つ; int3 & fact10 -> hypothesis;
fact15 -> int1: {A}{aa} -> {C}{aa}; fact4 & fact19 -> int2: {A}{aa}; int1 & int2 -> int3: {C}{aa}; int3 & fact10 -> hypothesis;
「このチーズクリームは起き易いということはないけど頼もしい」ということは嘘だ
fact28 -> int4: もし仮にあの社内経歴がキャンプすればそれは屈伏しないかあるいはそれはめんど臭くない; fact25 -> int5: その当該車両が京都らしいならばそれは解け易くないしそれに芳しくない; fact31 & fact22 -> int6: その発注費用は取得しない; fact27 & int6 -> int7: 「あの個人広告は積み重ねないかやくざっぽいかまたは両方だ」ということは正しい; fact29 & int7 -> int8: 「この各乗員組合は積み重ねない」ということは誤りでない; fact24 & int8 -> int9: あのぱちんこ屋は禍々しい; fact23 & int9 -> int10: あの和三盆は黒くない; fact30 & int10 -> int11: その当該車両は京都らしいし燦星秘伝だ; int11 -> int12: その当該車両は京都らしい; int5 & int12 -> int13: その当該車両は解け易いということはないし芳しいということはない; fact32 & int13 -> int14: あのアロエベラは解け易くない; fact20 & int14 -> int15: あの社内経歴はキャンプするし推論である; int15 -> int16: あの社内経歴はキャンプする; int4 & int16 -> int17: あの社内経歴は屈伏しないかまたはめんど臭いということはないかどちらもである; fact21 & int17 -> int18: あの進上はめんど臭い; fact26 & int18 -> int19: 「あの進上は起き易い」ということは確かだ; int19 -> int20: 何らかのものは起き易い;
$facts$ = fact1: もしも「「「年次推移であるし取得する」ということは誤りである」物はある」ということは正しいとすれば「その発注費用は取得しない」ということは真実だ fact2: 仮にこの各乗員組合が積み重ねないとするとあのぱちんこ屋は禍々しい fact3: あのぱちんこ屋は禍々しいとすると「あの和三盆は黒くない」ということは確かである fact4: 「このチーズクリームはキャンプする」ということは真実であるならそれはめんど臭い fact5: もしもあの進上がめんど臭いとしたらそれは起き易い fact6: 「その海軍基地はめんど臭い」ということは真実だ fact7: もしあのアロエベラが解け易いということはないならばあの社内経歴はキャンプするしさらに推論である fact8: もし仮にその発注費用が取得しないならばあの個人広告は積み重ねないかもしくはやくざっぽいか両方だ fact9: あの和三盆が黒くないとすればその当該車両は京都らしいしおまけに燦星秘伝である fact10: 「このチーズクリームは起き易くない」ということは間違っていない fact11: もし仮にその当該車両が解け易くないし芳しくないならばあのアロエベラは解け易くない fact12: その臨時国会はキャンプする fact13: もし仮にあの社内経歴が屈伏しないかもしくはめんど臭くないかまたは両方ともであるならばあの進上はめんど臭い fact14: 「「年次推移であるしそれに取得する」ということは間違いである」物はある fact15: 仮にとあるものがめんど臭いとしたらそれは頼もしい fact16: もし仮になにがしかのものがキャンプするとしたらそれは屈伏しないかもしくはめんど臭いということはないかあるいは両方ともである fact17: もし仮にあの個人広告が積み重ねないかあるいはそれがやくざっぽいかあるいは両方であるならこの各乗員組合は積み重ねない fact18: 京都らしいものは解け易いということはないし芳しいということはない fact19: このチーズクリームはキャンプする ; $hypothesis$ = 「このチーズクリームは起き易いということはないけれど頼もしい」ということは確かだ ; $proof$ = 
fact15 -> int1: もしこのチーズクリームがめんど臭いなら頼もしい; fact4 & fact19 -> int2: このチーズクリームはめんど臭い; int1 & int2 -> int3: 「このチーズクリームは頼もしい」ということは成り立つ; int3 & fact10 -> hypothesis; __PROVED__
事実1: もしも「「「年次推移であるし取得する」ということは誤りである」物はある」ということは正しいとすれば「その発注費用は取得しない」ということは真実だ
事実2: 仮にこの各乗員組合が積み重ねないとするとあのぱちんこ屋は禍々しい
事実3: あのぱちんこ屋は禍々しいとすると「あの和三盆は黒くない」ということは確かである
事実4: 「このチーズクリームはキャンプする」ということは真実であるならそれはめんど臭い
事実5: もしもあの進上がめんど臭いとしたらそれは起き易い
事実6: 「その海軍基地はめんど臭い」ということは真実だ
事実7: もしあのアロエベラが解け易いということはないならばあの社内経歴はキャンプするしさらに推論である
事実8: もし仮にその発注費用が取得しないならばあの個人広告は積み重ねないかもしくはやくざっぽいか両方だ
事実9: あの和三盆が黒くないとすればその当該車両は京都らしいしおまけに燦星秘伝である
事実10: 「このチーズクリームは起き易くない」ということは間違っていない
事実11: もし仮にその当該車両が解け易くないし芳しくないならばあのアロエベラは解け易くない
事実12: その臨時国会はキャンプする
事実13: もし仮にあの社内経歴が屈伏しないかもしくはめんど臭くないかまたは両方ともであるならばあの進上はめんど臭い
事実14: 「「年次推移であるしそれに取得する」ということは間違いである」物はある
事実15: 仮にとあるものがめんど臭いとしたらそれは頼もしい
事実16: もし仮になにがしかのものがキャンプするとしたらそれは屈伏しないかもしくはめんど臭いということはないかあるいは両方ともである
事実17: もし仮にあの個人広告が積み重ねないかあるいはそれがやくざっぽいかあるいは両方であるならこの各乗員組合は積み重ねない
事実18: 京都らしいものは解け易いということはないし芳しいということはない
事実19: このチーズクリームはキャンプする

仮説: 「このチーズクリームは起き易いということはないけれど頼もしい」ということは確かだ
1. 事実15から、推論1: "もしこのチーズクリームがめんど臭いなら頼もしい"が導かれる
2. 事実4と事実19から、推論2: "このチーズクリームはめんど臭い"が導かれる
3. 推論1と推論2から、推論3: "「このチーズクリームは頼もしい」ということは成り立つ"が導かれる
4. 推論3と事実10から、仮説が導かれる

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