その玄米御飯は呪わしくないか笑い始めないかまたは両方ともである
fact1: もし仮にあるものはごっついなら「怒鳴り捲らないかまたはそれは呪わしくない」ということは誤りだ fact2: もしも「その玄米御飯は呪わしくないかまたは笑い始めないかどちらもである」ということは間違いだとするとあの経路発見は全社・事業レベルでない fact3: 「「ごっついけど全社・事業レベルでない」ということは間違っている」物はあるとすれば「あの経路発見は全社・事業レベルである」ということは事実だ fact4: もし仮に「全社・事業レベルである」物があるとしたらあの経路発見は全社・事業レベルだ fact5: 「「ごっついけれど全社・事業レベルでない」ということは誤りな」ものはある fact6: その玄米御飯は笑い始めるということはないかそれは全社・事業レベルでないかどちらもである
void -> assump1: 以下のように仮定する。「その玄米御飯は呪わしくないかあるいはそれは笑い始めない」ということは間違いである; fact2 & assump1 -> int1: あの経路発見は全社・事業レベルだということはない; fact3 & fact5 -> int2: あの経路発見は全社・事業レベルである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} v ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{b}; fact3 & fact5 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの経路発見は怒鳴り捲らないかまたは呪わしくないかもしくは両方ともだ」ということは事実と異なる
fact7 -> int4: 仮に「あの経路発見はごっつい」ということは確かだとすると「それは怒鳴り捲らないかまたはそれは呪わしくない」ということは正しくない;
$facts$ = fact1: もし仮にあるものはごっついなら「怒鳴り捲らないかまたはそれは呪わしくない」ということは誤りだ fact2: もしも「その玄米御飯は呪わしくないかまたは笑い始めないかどちらもである」ということは間違いだとするとあの経路発見は全社・事業レベルでない fact3: 「「ごっついけど全社・事業レベルでない」ということは間違っている」物はあるとすれば「あの経路発見は全社・事業レベルである」ということは事実だ fact4: もし仮に「全社・事業レベルである」物があるとしたらあの経路発見は全社・事業レベルだ fact5: 「「ごっついけれど全社・事業レベルでない」ということは誤りな」ものはある fact6: その玄米御飯は笑い始めるということはないかそれは全社・事業レベルでないかどちらもである ; $hypothesis$ = その玄米御飯は呪わしくないか笑い始めないかまたは両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。「その玄米御飯は呪わしくないかあるいはそれは笑い始めない」ということは間違いである; fact2 & assump1 -> int1: あの経路発見は全社・事業レベルだということはない; fact3 & fact5 -> int2: あの経路発見は全社・事業レベルである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にあるものはごっついなら「怒鳴り捲らないかまたはそれは呪わしくない」ということは誤りだ
事実2: もしも「その玄米御飯は呪わしくないかまたは笑い始めないかどちらもである」ということは間違いだとするとあの経路発見は全社・事業レベルでない
事実3: 「「ごっついけど全社・事業レベルでない」ということは間違っている」物はあるとすれば「あの経路発見は全社・事業レベルである」ということは事実だ
事実4: もし仮に「全社・事業レベルである」物があるとしたらあの経路発見は全社・事業レベルだ
事実5: 「「ごっついけれど全社・事業レベルでない」ということは誤りな」ものはある
事実6: その玄米御飯は笑い始めるということはないかそれは全社・事業レベルでないかどちらもである

仮説: その玄米御飯は呪わしくないか笑い始めないかまたは両方ともである
1. 仮定1: 以下のように仮定する。「その玄米御飯は呪わしくないかあるいはそれは笑い始めない」ということは間違いである
2. 事実2と仮定1から、推論1: "あの経路発見は全社・事業レベルだということはない"が導かれる
3. 事実3と事実5から、推論2: "あの経路発見は全社・事業レベルである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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