このマーマレードはプレミアムビールであるしそれに御悪い
fact1: このマーマレードはプレミアムビールであるしおまけにそれは防弾チョッキだ fact2: もしなんらかのものは成り難くないとしたら「面倒臭いしさらに冷房装置だ」ということは間違いである fact3: 「このＭＯＶＩＥは御悪くない一方で防弾チョッキである」ということは成り立たないとすればこのマーマレードは捕らえ易い fact4: 「このマーマレードは捕らえ易くない一方でプレミアムビールだ」ということは成り立つということはないとしたら「このＭＯＶＩＥは御悪い」ということは正しい fact5: もしもこのＭＯＶＩＥは防弾チョッキでないとしたら「このマーマレードはプレミアムビールだし御悪い」ということは嘘である fact6: このマーマレードは防弾チョッキである fact7: 「このＭＯＶＩＥはやんごとないということはない一方で捕らえ易い」ということは誤っている fact8: もしもこのＭＯＶＩＥが捕らえ易くないならこのマーマレードは御悪い fact9: もしも「このＭＯＶＩＥはやんごとなくないけれど捕らえ易い」ということは成り立たないとすればこのマーマレードは御悪い
fact9 & fact7 -> int1: このマーマレードは御悪い; fact1 -> int2: このマーマレードはプレミアムビールだ; int1 & int2 -> hypothesis;
「このマーマレードはプレミアムビールだし御悪い」ということは成り立たない
fact10 -> int3: 「もしこの米ソは成り難くないとすれば「この米ソは面倒臭いし冷房装置だ」ということは嘘である」ということは成り立つ;
$facts$ = fact1: このマーマレードはプレミアムビールであるしおまけにそれは防弾チョッキだ fact2: もしなんらかのものは成り難くないとしたら「面倒臭いしさらに冷房装置だ」ということは間違いである fact3: 「このＭＯＶＩＥは御悪くない一方で防弾チョッキである」ということは成り立たないとすればこのマーマレードは捕らえ易い fact4: 「このマーマレードは捕らえ易くない一方でプレミアムビールだ」ということは成り立つということはないとしたら「このＭＯＶＩＥは御悪い」ということは正しい fact5: もしもこのＭＯＶＩＥは防弾チョッキでないとしたら「このマーマレードはプレミアムビールだし御悪い」ということは嘘である fact6: このマーマレードは防弾チョッキである fact7: 「このＭＯＶＩＥはやんごとないということはない一方で捕らえ易い」ということは誤っている fact8: もしもこのＭＯＶＩＥが捕らえ易くないならこのマーマレードは御悪い fact9: もしも「このＭＯＶＩＥはやんごとなくないけれど捕らえ易い」ということは成り立たないとすればこのマーマレードは御悪い ; $hypothesis$ = このマーマレードはプレミアムビールであるしそれに御悪い ; $proof$ = 
fact9 & fact7 -> int1: このマーマレードは御悪い; fact1 -> int2: このマーマレードはプレミアムビールだ; int1 & int2 -> hypothesis; __PROVED__
事実1: このマーマレードはプレミアムビールであるしおまけにそれは防弾チョッキだ
事実2: もしなんらかのものは成り難くないとしたら「面倒臭いしさらに冷房装置だ」ということは間違いである
事実3: 「このＭＯＶＩＥは御悪くない一方で防弾チョッキである」ということは成り立たないとすればこのマーマレードは捕らえ易い
事実4: 「このマーマレードは捕らえ易くない一方でプレミアムビールだ」ということは成り立つということはないとしたら「このＭＯＶＩＥは御悪い」ということは正しい
事実5: もしもこのＭＯＶＩＥは防弾チョッキでないとしたら「このマーマレードはプレミアムビールだし御悪い」ということは嘘である
事実6: このマーマレードは防弾チョッキである
事実7: 「このＭＯＶＩＥはやんごとないということはない一方で捕らえ易い」ということは誤っている
事実8: もしもこのＭＯＶＩＥが捕らえ易くないならこのマーマレードは御悪い
事実9: もしも「このＭＯＶＩＥはやんごとなくないけれど捕らえ易い」ということは成り立たないとすればこのマーマレードは御悪い

仮説: このマーマレードはプレミアムビールであるしそれに御悪い
1. 事実9と事実7から、推論1: "このマーマレードは御悪い"が導かれる
2. 事実1から、推論2: "このマーマレードはプレミアムビールだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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