「仮にあのぴちゃぴねLv.53が割れ易いならばあのぷねぷくLv.41は意気消沈する」ということは成り立たない
fact1: あのぷねぷくLv.41が意気消沈するとすればあのぴちゃぴねLv.53は貧乏臭い fact2: あのぷねぷくLv.41は御試す fact3: もし「あのぴちゃぴねLv.53は割れ易い」ということは真実だとすれば「あのぷねぷくLv.41は貧乏臭い」ということは成り立つ fact4: あのぷねぷくLv.41が貧乏臭いとすればあのぷねぷくLv.41は意気消沈する fact5: 割れ易いモンスターは意気消沈する
void -> assump1: 以下のように仮定する。あのぴちゃぴねLv.53は割れ易い; fact3 & assump1 -> int1: あのぷねぷくLv.41は貧乏臭い; int1 & fact4 -> int2: あのぷねぷくLv.41は意気消沈する; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
あのまなまよLv.68は意気消沈する
fact6 -> int3: もしあのまなまよLv.68が割れ易いとしたらそれは意気消沈する;
$facts$ = fact1: あのぷねぷくLv.41が意気消沈するとすればあのぴちゃぴねLv.53は貧乏臭い fact2: あのぷねぷくLv.41は御試す fact3: もし「あのぴちゃぴねLv.53は割れ易い」ということは真実だとすれば「あのぷねぷくLv.41は貧乏臭い」ということは成り立つ fact4: あのぷねぷくLv.41が貧乏臭いとすればあのぷねぷくLv.41は意気消沈する fact5: 割れ易いモンスターは意気消沈する ; $hypothesis$ = 「仮にあのぴちゃぴねLv.53が割れ易いならばあのぷねぷくLv.41は意気消沈する」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴちゃぴねLv.53は割れ易い; fact3 & assump1 -> int1: あのぷねぷくLv.41は貧乏臭い; int1 & fact4 -> int2: あのぷねぷくLv.41は意気消沈する; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __DISPROVED__