「そのＹＡＧロッドは連想し易くないけれどこそばゆい」ということは成り立つということはない
fact1: もしこの意思は連想し易いとすると「それは草分け的存在だということはない一方でこそばゆい」ということは誤っている fact2: もしなにがしかのものは草分け的存在だとすると「それは連想し易くないしその上こそばゆい」ということは誤りである fact3: もしこの意思が草分け的存在ならそのＹＡＧロッドは草分け的存在だ fact4: この意思は草分け的存在である
fact2 -> int1: もしそのＹＡＧロッドは草分け的存在であるとしたら「連想し易くないしそれにそれはこそばゆい」ということは嘘である; fact4 & fact3 -> int2: そのＹＡＧロッドは草分け的存在である; int1 & int2 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact4 & fact3 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしこの意思は連想し易いとすると「それは草分け的存在だということはない一方でこそばゆい」ということは誤っている fact2: もしなにがしかのものは草分け的存在だとすると「それは連想し易くないしその上こそばゆい」ということは誤りである fact3: もしこの意思が草分け的存在ならそのＹＡＧロッドは草分け的存在だ fact4: この意思は草分け的存在である ; $hypothesis$ = 「そのＹＡＧロッドは連想し易くないけれどこそばゆい」ということは成り立つということはない ; $proof$ = 
fact2 -> int1: もしそのＹＡＧロッドは草分け的存在であるとしたら「連想し易くないしそれにそれはこそばゆい」ということは嘘である; fact4 & fact3 -> int2: そのＹＡＧロッドは草分け的存在である; int1 & int2 -> hypothesis; __PROVED__
事実1: もしこの意思は連想し易いとすると「それは草分け的存在だということはない一方でこそばゆい」ということは誤っている
事実2: もしなにがしかのものは草分け的存在だとすると「それは連想し易くないしその上こそばゆい」ということは誤りである
事実3: もしこの意思が草分け的存在ならそのＹＡＧロッドは草分け的存在だ
事実4: この意思は草分け的存在である

仮説: 「そのＹＡＧロッドは連想し易くないけれどこそばゆい」ということは成り立つということはない
1. 事実2から、推論1: "もしそのＹＡＧロッドは草分け的存在であるとしたら「連想し易くないしそれにそれはこそばゆい」ということは嘘である"が導かれる
2. 事実4と事実3から、推論2: "そのＹＡＧロッドは草分け的存在である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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