そのぴちゅぴにょLv.56は堪り易くない
fact1: 「そのぷえぷわLv.70は管理し易いが相談し易くない」ということは間違っている fact2: もしそのみいみわLv.94が険しいとするとそのぴちゅぴにょLv.56は堪り易い fact3: そのみのみにLv.11は晒され易くてそれに紛らわしい fact4: そのもよもわLv.17は相談し易いならば「そのぷえぷわLv.70は管理し易くなくてさらに相談し易いということはない」ということは成り立たない fact5: 仮に「そのぷえぷわLv.70は管理し易くなくてその上それは相談し易くない」ということは成り立たないとしたらそのみいみわLv.94は険しい fact6: もし仮にそのみのみにLv.11は晒され易いなら「そのもよもわLv.17は相談し易い」ということは間違っていない
fact3 -> int1: そのみのみにLv.11は晒され易い; int1 & fact6 -> int2: そのもよもわLv.17は相談し易い; int2 & fact4 -> int3: 「そのぷえぷわLv.70は管理し易くなくて相談し易いということはない」ということは成り立つということはない; int3 & fact5 -> int4: そのみいみわLv.94は険しい; int4 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> int3: ¬(¬{E}{c} & ¬{C}{c}); int3 & fact5 -> int4: {D}{d}; int4 & fact2 -> hypothesis;
$facts$ = fact1: 「そのぷえぷわLv.70は管理し易いが相談し易くない」ということは間違っている fact2: もしそのみいみわLv.94が険しいとするとそのぴちゅぴにょLv.56は堪り易い fact3: そのみのみにLv.11は晒され易くてそれに紛らわしい fact4: そのもよもわLv.17は相談し易いならば「そのぷえぷわLv.70は管理し易くなくてさらに相談し易いということはない」ということは成り立たない fact5: 仮に「そのぷえぷわLv.70は管理し易くなくてその上それは相談し易くない」ということは成り立たないとしたらそのみいみわLv.94は険しい fact6: もし仮にそのみのみにLv.11は晒され易いなら「そのもよもわLv.17は相談し易い」ということは間違っていない ; $hypothesis$ = そのぴちゅぴにょLv.56は堪り易くない ; $proof$ = 
fact3 -> int1: そのみのみにLv.11は晒され易い; int1 & fact6 -> int2: そのもよもわLv.17は相談し易い; int2 & fact4 -> int3: 「そのぷえぷわLv.70は管理し易くなくて相談し易いということはない」ということは成り立つということはない; int3 & fact5 -> int4: そのみいみわLv.94は険しい; int4 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> int3: ¬(¬{E}{c} & ¬{C}{c}); int3 & fact5 -> int4: {D}{d}; int4 & fact2 -> hypothesis; __DISPROVED__