あのぷわぷくLv.11は弱めるということはない
fact1: 仮にそのみにみくLv.84は危なっかしくないならば「そのみにみくLv.84は人懐こいということはないけれど夏らしい」ということは確かでない fact2: 「そのみくみにゃLv.11は紳士らしい」ということは成り立つ fact3: 仮にあのもちゅものLv.88が発現し易いかもしくは並び立つならそのみにみくLv.84は危なっかしくない fact4: そのみくみにゃLv.11が紳士らしいならばあのもちゅものLv.88は発現し易い fact5: 仮に「そのみにみくLv.84は人懐こくないがしかし夏らしい」ということは間違っていればあのぷわぷくLv.11は弱める
fact4 & fact2 -> int1: あのもちゅものLv.88は発現し易い; int1 -> int2: あのもちゅものLv.88は発現し易いかまたはそれは並び立つかどちらもである; int2 & fact3 -> int3: そのみにみくLv.84は危なっかしくない; int3 & fact1 -> int4: 「そのみにみくLv.84は人懐こくないけど夏らしい」ということは成り立たない; int4 & fact5 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact3 -> int3: ¬{D}{c}; int3 & fact1 -> int4: ¬(¬{F}{c} & {E}{c}); int4 & fact5 -> hypothesis;
$facts$ = fact1: 仮にそのみにみくLv.84は危なっかしくないならば「そのみにみくLv.84は人懐こいということはないけれど夏らしい」ということは確かでない fact2: 「そのみくみにゃLv.11は紳士らしい」ということは成り立つ fact3: 仮にあのもちゅものLv.88が発現し易いかもしくは並び立つならそのみにみくLv.84は危なっかしくない fact4: そのみくみにゃLv.11が紳士らしいならばあのもちゅものLv.88は発現し易い fact5: 仮に「そのみにみくLv.84は人懐こくないがしかし夏らしい」ということは間違っていればあのぷわぷくLv.11は弱める ; $hypothesis$ = あのぷわぷくLv.11は弱めるということはない ; $proof$ = 
fact4 & fact2 -> int1: あのもちゅものLv.88は発現し易い; int1 -> int2: あのもちゅものLv.88は発現し易いかまたはそれは並び立つかどちらもである; int2 & fact3 -> int3: そのみにみくLv.84は危なっかしくない; int3 & fact1 -> int4: 「そのみにみくLv.84は人懐こくないけど夏らしい」ということは成り立たない; int4 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact3 -> int3: ¬{D}{c}; int3 & fact1 -> int4: ¬(¬{F}{c} & {E}{c}); int4 & fact5 -> hypothesis; __DISPROVED__