あのリップグロスは想像し難くないしおまけに支持し続けない
fact1: もし何らかの物は目新しくないとすると「この作戦上は空々しかないがしかし打設する」ということは偽である fact2: 「目新しくない」ものはある fact3: この作戦上が想像し難くないとしたらあのリップグロスは想像し難くないしその上支持し続けない fact4: あのリップグロスは想像し難いということはない fact5: もしもある物は目新しいとしたら「それは想像し難くないし支持し続けるということはない」ということは嘘である fact6: 仮にある物が打設しないとすれば目新しいししかもそれは空々しい fact7: もし仮に「何かは空々しかないがしかし打設する」ということは事実でないならそれは想像し難くない fact8: もし仮にこの作戦上は目新しいなら「あのリップグロスは目新しい」ということは成り立つ fact9: あのリップグロスは空々しかない fact10: もしも「あるものは追及しないがそれは立ち込める」ということは事実と異なるならそれは弛くない fact11: もしその再販売価格が旅行出来るならそれは列する fact12: 「予測し難い」物はある
fact2 & fact1 -> int1: 「この作戦上は空々しかないがそれは打設する」ということは事実と異なる; fact7 -> int2: もしも「この作戦上は空々しいということはないけど打設する」ということは本当でないならば想像し難いということはない; int1 & int2 -> int3: 「この作戦上は想像し難くない」ということは成り立つ; int3 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ¬(¬{B}{a} & {C}{a}); fact7 -> int2: ¬(¬{B}{a} & {C}{a}) -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; int3 & fact3 -> hypothesis;
「あのリップグロスは想像し難いということはないししかもそれは支持し続けない」ということは成り立たない
fact16 -> int4: あのリップグロスは目新しいとすれば「それは想像し難くないしその上支持し続けるということはない」ということは誤っている; fact13 -> int5: もしこの作戦上が打設するということはないならば目新しくて加えて空々しい;
$facts$ = fact1: もし何らかの物は目新しくないとすると「この作戦上は空々しかないがしかし打設する」ということは偽である fact2: 「目新しくない」ものはある fact3: この作戦上が想像し難くないとしたらあのリップグロスは想像し難くないしその上支持し続けない fact4: あのリップグロスは想像し難いということはない fact5: もしもある物は目新しいとしたら「それは想像し難くないし支持し続けるということはない」ということは嘘である fact6: 仮にある物が打設しないとすれば目新しいししかもそれは空々しい fact7: もし仮に「何かは空々しかないがしかし打設する」ということは事実でないならそれは想像し難くない fact8: もし仮にこの作戦上は目新しいなら「あのリップグロスは目新しい」ということは成り立つ fact9: あのリップグロスは空々しかない fact10: もしも「あるものは追及しないがそれは立ち込める」ということは事実と異なるならそれは弛くない fact11: もしその再販売価格が旅行出来るならそれは列する fact12: 「予測し難い」物はある ; $hypothesis$ = あのリップグロスは想像し難くないしおまけに支持し続けない ; $proof$ = 
fact2 & fact1 -> int1: 「この作戦上は空々しかないがそれは打設する」ということは事実と異なる; fact7 -> int2: もしも「この作戦上は空々しいということはないけど打設する」ということは本当でないならば想像し難いということはない; int1 & int2 -> int3: 「この作戦上は想像し難くない」ということは成り立つ; int3 & fact3 -> hypothesis; __PROVED__
事実1: もし何らかの物は目新しくないとすると「この作戦上は空々しかないがしかし打設する」ということは偽である
事実2: 「目新しくない」ものはある
事実3: この作戦上が想像し難くないとしたらあのリップグロスは想像し難くないしその上支持し続けない
事実4: あのリップグロスは想像し難いということはない
事実5: もしもある物は目新しいとしたら「それは想像し難くないし支持し続けるということはない」ということは嘘である
事実6: 仮にある物が打設しないとすれば目新しいししかもそれは空々しい
事実7: もし仮に「何かは空々しかないがしかし打設する」ということは事実でないならそれは想像し難くない
事実8: もし仮にこの作戦上は目新しいなら「あのリップグロスは目新しい」ということは成り立つ
事実9: あのリップグロスは空々しかない
事実10: もしも「あるものは追及しないがそれは立ち込める」ということは事実と異なるならそれは弛くない
事実11: もしその再販売価格が旅行出来るならそれは列する
事実12: 「予測し難い」物はある

仮説: あのリップグロスは想像し難くないしおまけに支持し続けない
1. 事実2と事実1から、推論1: "「この作戦上は空々しかないがそれは打設する」ということは事実と異なる"が導かれる
2. 事実7から、推論2: "もしも「この作戦上は空々しいということはないけど打設する」ということは本当でないならば想像し難いということはない"が導かれる
3. 推論1と推論2から、推論3: "「この作戦上は想像し難くない」ということは成り立つ"が導かれる
4. 推論3と事実3から、仮説が導かれる

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