このぷわぷにLv.93は利用し易いけれど再組織化しない
fact1: 仮にこのもわもなLv.1がでっかいとしたらあのみわみにょLv.43は入れ易い fact2: このぷわぷにLv.93は意地悪いなら「利用し易いが再組織化しない」ということは確かでない fact3: このもわもなLv.1が幼けないならばこのもわもなLv.1はでっかい fact4: このもわもなLv.1は幼けない fact5: もしあのみわみにょLv.43が入れ易いならあのみわみにょLv.43は表現し得る fact6: あのみわみにょLv.43が表現し得るとしたらこのぷわぷにLv.93は意地悪い
fact3 & fact4 -> int1: このもわもなLv.1はでっかい; int1 & fact1 -> int2: あのみわみにょLv.43は入れ易い; int2 & fact5 -> int3: あのみわみにょLv.43は表現し得る; int3 & fact6 -> int4: このぷわぷにLv.93は意地悪い; int4 & fact2 -> hypothesis;
fact3 & fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{b}; int3 & fact6 -> int4: {E}{c}; int4 & fact2 -> hypothesis;
$facts$ = fact1: 仮にこのもわもなLv.1がでっかいとしたらあのみわみにょLv.43は入れ易い fact2: このぷわぷにLv.93は意地悪いなら「利用し易いが再組織化しない」ということは確かでない fact3: このもわもなLv.1が幼けないならばこのもわもなLv.1はでっかい fact4: このもわもなLv.1は幼けない fact5: もしあのみわみにょLv.43が入れ易いならあのみわみにょLv.43は表現し得る fact6: あのみわみにょLv.43が表現し得るとしたらこのぷわぷにLv.93は意地悪い ; $hypothesis$ = このぷわぷにLv.93は利用し易いけれど再組織化しない ; $proof$ = 
fact3 & fact4 -> int1: このもわもなLv.1はでっかい; int1 & fact1 -> int2: あのみわみにょLv.43は入れ易い; int2 & fact5 -> int3: あのみわみにょLv.43は表現し得る; int3 & fact6 -> int4: このぷわぷにLv.93は意地悪い; int4 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{b}; int3 & fact6 -> int4: {E}{c}; int4 & fact2 -> hypothesis; __DISPROVED__