その戦略的ポジショニングは縢らない
fact1: もしもなんらかのものは開成社でないとするとそれは不味くない fact2: もし仮になにかは開成社でないとしたら「発つかまたはそれは不味いか両方ともである」ということは事実と異なる fact3: 仮にとある物が選別出来るとするとそれはわりない fact4: もしもこの二財は開成社でないとすると不味くない fact5: 「この二財は不味い」ということは嘘だ fact6: 「その更新データはグラフィックディスプレイである」ということは確かである fact7: 仮にこの二財が開成社ならばその戦略的ポジショニングは縢る fact8: もしも開成社が縢るとするとグラフィックディスプレイであるということはない fact9: その更新データが開成社だしさらに縢るならその戦略的ポジショニングは縢るということはない fact10: この赤青帽は開成社である fact11: 仮に「この二財は発つかまたは不味い」ということは成り立たないとしたらその更新データはグラフィックディスプレイでない fact12: わりない物は縢る
fact2 -> int1: この二財は開成社でないなら「発つかもしくはそれは不味いかあるいは両方である」ということは嘘だ; void -> assump1: 以下のように仮定する。この二財は開成社でない; int1 & assump1 -> int2: 「この二財は発つか不味い」ということは真実でない; int2 & fact11 -> int3: その更新データはグラフィックディスプレイでない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: この二財は開成社だ; int5 & fact7 -> hypothesis;
この赤青帽はグラフィックディスプレイでない
fact13 -> int6: 仮にこの赤青帽が開成社であるし更にそれが縢るとするとそれはグラフィックディスプレイでない; fact16 -> int7: 仮にこの赤青帽はわりないとしたら「それは縢る」ということは真実だ; fact14 -> int8: もしこの赤青帽が選別出来るならそれはわりない;
$facts$ = fact1: もしもなんらかのものは開成社でないとするとそれは不味くない fact2: もし仮になにかは開成社でないとしたら「発つかまたはそれは不味いか両方ともである」ということは事実と異なる fact3: 仮にとある物が選別出来るとするとそれはわりない fact4: もしもこの二財は開成社でないとすると不味くない fact5: 「この二財は不味い」ということは嘘だ fact6: 「その更新データはグラフィックディスプレイである」ということは確かである fact7: 仮にこの二財が開成社ならばその戦略的ポジショニングは縢る fact8: もしも開成社が縢るとするとグラフィックディスプレイであるということはない fact9: その更新データが開成社だしさらに縢るならその戦略的ポジショニングは縢るということはない fact10: この赤青帽は開成社である fact11: 仮に「この二財は発つかまたは不味い」ということは成り立たないとしたらその更新データはグラフィックディスプレイでない fact12: わりない物は縢る ; $hypothesis$ = その戦略的ポジショニングは縢らない ; $proof$ = 
fact2 -> int1: この二財は開成社でないなら「発つかもしくはそれは不味いかあるいは両方である」ということは嘘だ; void -> assump1: 以下のように仮定する。この二財は開成社でない; int1 & assump1 -> int2: 「この二財は発つか不味い」ということは真実でない; int2 & fact11 -> int3: その更新データはグラフィックディスプレイでない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: この二財は開成社だ; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものは開成社でないとするとそれは不味くない
事実2: もし仮になにかは開成社でないとしたら「発つかまたはそれは不味いか両方ともである」ということは事実と異なる
事実3: 仮にとある物が選別出来るとするとそれはわりない
事実4: もしもこの二財は開成社でないとすると不味くない
事実5: 「この二財は不味い」ということは嘘だ
事実6: 「その更新データはグラフィックディスプレイである」ということは確かである
事実7: 仮にこの二財が開成社ならばその戦略的ポジショニングは縢る
事実8: もしも開成社が縢るとするとグラフィックディスプレイであるということはない
事実9: その更新データが開成社だしさらに縢るならその戦略的ポジショニングは縢るということはない
事実10: この赤青帽は開成社である
事実11: 仮に「この二財は発つかまたは不味い」ということは成り立たないとしたらその更新データはグラフィックディスプレイでない
事実12: わりない物は縢る

仮説: その戦略的ポジショニングは縢らない
1. 事実2から、推論1: "この二財は開成社でないなら「発つかもしくはそれは不味いかあるいは両方である」ということは嘘だ"が導かれる
2. 仮定1: 以下のように仮定する。この二財は開成社でない
3. 推論1と仮定1から、推論2: "「この二財は発つか不味い」ということは真実でない"が導かれる
4. 推論2と事実11から、推論3: "その更新データはグラフィックディスプレイでない"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この二財は開成社だ"が導かれる
7. 推論5と事実7から、仮説が否定される

よって、仮説が否定されました。