あのぽにぽよLv.40は冷め易い
fact1: あのぷねぷくLv.12は如何わしいとすれば「このぽのぽやLv.10は思い巡らすしまた如何わしい」ということは事実と異なる fact2: 「もし仮に「あのまなまにゃLv.70は目敏くない」ということは成り立たないとするとあのぷねぷくLv.12は如何わしい」ということは本当だ fact3: もしあのぷねぷくLv.12は如何わしいとすれば「このぽのぽやLv.10は思い巡らすがしかしそれは如何わしくない」ということは間違っている fact4: あのまなまにゃLv.70は目敏い fact5: このぽのぽやLv.10が根気良いかまたは看過し難いならあのぽにぽよLv.40は冷め易いということはない fact6: もし仮に「このぽのぽやLv.10は思い巡らすけれど如何わしくない」ということは偽だとしたら「このぽのぽやLv.10は根気良い」ということは正しい
fact2 & fact4 -> int1: あのぷねぷくLv.12は如何わしい; int1 & fact3 -> int2: 「このぽのぽやLv.10は思い巡らすけど如何わしくない」ということは偽である; int2 & fact6 -> int3: 「このぽのぽやLv.10は根気良い」ということは正しい; int3 -> int4: このぽのぽやLv.10は根気良いかあるいは看過し難いかもしくは両方ともだ; int4 & fact5 -> hypothesis;
fact2 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: ¬({C}{c} & ¬{B}{c}); int2 & fact6 -> int3: {D}{c}; int3 -> int4: ({D}{c} v {E}{c}); int4 & fact5 -> hypothesis;
$facts$ = fact1: あのぷねぷくLv.12は如何わしいとすれば「このぽのぽやLv.10は思い巡らすしまた如何わしい」ということは事実と異なる fact2: 「もし仮に「あのまなまにゃLv.70は目敏くない」ということは成り立たないとするとあのぷねぷくLv.12は如何わしい」ということは本当だ fact3: もしあのぷねぷくLv.12は如何わしいとすれば「このぽのぽやLv.10は思い巡らすがしかしそれは如何わしくない」ということは間違っている fact4: あのまなまにゃLv.70は目敏い fact5: このぽのぽやLv.10が根気良いかまたは看過し難いならあのぽにぽよLv.40は冷め易いということはない fact6: もし仮に「このぽのぽやLv.10は思い巡らすけれど如何わしくない」ということは偽だとしたら「このぽのぽやLv.10は根気良い」ということは正しい ; $hypothesis$ = あのぽにぽよLv.40は冷め易い ; $proof$ = 
fact2 & fact4 -> int1: あのぷねぷくLv.12は如何わしい; int1 & fact3 -> int2: 「このぽのぽやLv.10は思い巡らすけど如何わしくない」ということは偽である; int2 & fact6 -> int3: 「このぽのぽやLv.10は根気良い」ということは正しい; int3 -> int4: このぽのぽやLv.10は根気良いかあるいは看過し難いかもしくは両方ともだ; int4 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: ¬({C}{c} & ¬{B}{c}); int2 & fact6 -> int3: {D}{c}; int3 -> int4: ({D}{c} v {E}{c}); int4 & fact5 -> hypothesis; __DISPROVED__