「もし「そのぷにゃぷくLv.11は聡い」ということは確かであるとすればそのみねみわLv.87は見苦しくない」ということは成り立つということはない
fact1: もし仮にこのみくみくLv.74が飲み易いしその上退色し易いならばそのみねみわLv.87は見苦しくない fact2: 「もしもそのぷにゃぷくLv.11が聡いとすればこのみくみくLv.74は飲み易い」ということは成り立つ fact3: そのみねみわLv.87は退色し易い fact4: このみくみくLv.74は退色し易い fact5: このみくみくLv.74が飲み易いし退色し易いとするとそのみねみわLv.87は見苦しい
void -> assump1: 以下のように仮定する。そのぷにゃぷくLv.11は聡い; fact2 & assump1 -> int1: このみくみくLv.74は飲み易い; int1 & fact4 -> int2: このみくみくLv.74は飲み易いし加えて退色し易い; int2 & fact1 -> int3: そのみねみわLv.87は見苦しくない; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> int3: ¬{D}{c}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にこのみくみくLv.74が飲み易いしその上退色し易いならばそのみねみわLv.87は見苦しくない fact2: 「もしもそのぷにゃぷくLv.11が聡いとすればこのみくみくLv.74は飲み易い」ということは成り立つ fact3: そのみねみわLv.87は退色し易い fact4: このみくみくLv.74は退色し易い fact5: このみくみくLv.74が飲み易いし退色し易いとするとそのみねみわLv.87は見苦しい ; $hypothesis$ = 「もし「そのぷにゃぷくLv.11は聡い」ということは確かであるとすればそのみねみわLv.87は見苦しくない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぷにゃぷくLv.11は聡い; fact2 & assump1 -> int1: このみくみくLv.74は飲み易い; int1 & fact4 -> int2: このみくみくLv.74は飲み易いし加えて退色し易い; int2 & fact1 -> int3: そのみねみわLv.87は見苦しくない; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> int3: ¬{D}{c}; [assump1] & int3 -> hypothesis; __DISPROVED__