「もし仮にあのぴちゅぴのLv.20がけたたましいとしたらあのぴにょぴゆLv.15は粉っぽい」ということは本当でない
fact1: あのぴちゅぴのLv.20がけたたましいしかつ覚え易いならばあのぴちゅぴのLv.20は夏らしくない fact2: もしこのぴわぴにょLv.23が覚え易くないとすればこのぴわぴにょLv.23は粉っぽいしけたたましい fact3: そのもにゃもいLv.53はけたたましいし興奮し易い fact4: あのぴちゅぴのLv.20は粉っぽいということはない fact5: もし仮にあのぴちゅぴのLv.20が夏らしくないとするとあのぴにょぴゆLv.15は粉っぽい fact6: あのぴちゅぴのLv.20は気付き易い fact7: あのぴちゅぴのLv.20は覚え易い
void -> assump1: 以下のように仮定する。「あのぴちゅぴのLv.20はけたたましい」ということは本当だ; assump1 & fact7 -> int1: あのぴちゅぴのLv.20はけたたましくて加えて覚え易い; int1 & fact1 -> int2: あのぴちゅぴのLv.20は夏らしくない; int2 & fact5 -> int3: 「あのぴにょぴゆLv.15は粉っぽい」ということは真実である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact5 -> int3: {D}{b}; [assump1] & int3 -> hypothesis;
このぴわぴにょLv.23は粉っぽい
$facts$ = fact1: あのぴちゅぴのLv.20がけたたましいしかつ覚え易いならばあのぴちゅぴのLv.20は夏らしくない fact2: もしこのぴわぴにょLv.23が覚え易くないとすればこのぴわぴにょLv.23は粉っぽいしけたたましい fact3: そのもにゃもいLv.53はけたたましいし興奮し易い fact4: あのぴちゅぴのLv.20は粉っぽいということはない fact5: もし仮にあのぴちゅぴのLv.20が夏らしくないとするとあのぴにょぴゆLv.15は粉っぽい fact6: あのぴちゅぴのLv.20は気付き易い fact7: あのぴちゅぴのLv.20は覚え易い ; $hypothesis$ = 「もし仮にあのぴちゅぴのLv.20がけたたましいとしたらあのぴにょぴゆLv.15は粉っぽい」ということは本当でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのぴちゅぴのLv.20はけたたましい」ということは本当だ; assump1 & fact7 -> int1: あのぴちゅぴのLv.20はけたたましくて加えて覚え易い; int1 & fact1 -> int2: あのぴちゅぴのLv.20は夏らしくない; int2 & fact5 -> int3: 「あのぴにょぴゆLv.15は粉っぽい」ということは真実である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact5 -> int3: {D}{b}; [assump1] & int3 -> hypothesis; __DISPROVED__