そのサンドウェッジは講和しない
fact1: 「あの内部者取り引き規制は美味しいけれど親しみ易くない」ということは誤りである fact2: 仮に「あの内部者取り引き規制は美味しい一方で親しみ易くない」ということは嘘だとしたらそのサンドウェッジは美味しかない fact3: もしも「なにがしかのものは美味しかないかあるいはそれは思い出深いか両方ともである」ということは間違っているならそれは講和しない fact4: この物語世界は親しみ易い fact5: もし「そのサンドウェッジは講和する」ということは真実であるとすると美味しい fact6: もしあの内部者取り引き規制が美味しかないならそのサンドウェッジは美味しかない
void -> assump1: 以下のように仮定する。そのサンドウェッジは講和する; fact5 & assump1 -> int1: そのサンドウェッジは美味しい; fact2 & fact1 -> int2: そのサンドウェッジは美味しかない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{a}; fact2 & fact1 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの内部者取り引き規制は講和しない」ということは成り立つ
fact7 -> int4: もし「あの内部者取り引き規制は美味しかないかもしくは思い出深いかあるいは両方だ」ということは間違いならそれは講和しない;
$facts$ = fact1: 「あの内部者取り引き規制は美味しいけれど親しみ易くない」ということは誤りである fact2: 仮に「あの内部者取り引き規制は美味しい一方で親しみ易くない」ということは嘘だとしたらそのサンドウェッジは美味しかない fact3: もしも「なにがしかのものは美味しかないかあるいはそれは思い出深いか両方ともである」ということは間違っているならそれは講和しない fact4: この物語世界は親しみ易い fact5: もし「そのサンドウェッジは講和する」ということは真実であるとすると美味しい fact6: もしあの内部者取り引き規制が美味しかないならそのサンドウェッジは美味しかない ; $hypothesis$ = そのサンドウェッジは講和しない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのサンドウェッジは講和する; fact5 & assump1 -> int1: そのサンドウェッジは美味しい; fact2 & fact1 -> int2: そのサンドウェッジは美味しかない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「あの内部者取り引き規制は美味しいけれど親しみ易くない」ということは誤りである
事実2: 仮に「あの内部者取り引き規制は美味しい一方で親しみ易くない」ということは嘘だとしたらそのサンドウェッジは美味しかない
事実3: もしも「なにがしかのものは美味しかないかあるいはそれは思い出深いか両方ともである」ということは間違っているならそれは講和しない
事実4: この物語世界は親しみ易い
事実5: もし「そのサンドウェッジは講和する」ということは真実であるとすると美味しい
事実6: もしあの内部者取り引き規制が美味しかないならそのサンドウェッジは美味しかない

仮説: そのサンドウェッジは講和しない
1. 仮定1: 以下のように仮定する。そのサンドウェッジは講和する
2. 事実5と仮定1から、推論1: "そのサンドウェッジは美味しい"が導かれる
3. 事実2と事実1から、推論2: "そのサンドウェッジは美味しかない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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