そのみちゃみのLv.22は立て易くないけれど反映され易い
fact1: もしもそのぷゆぷにょLv.80は立て易くないとすると「そのみちゃみのLv.22は立て易くて反映され易い」ということは誤りである fact2: 「そのみちゃみのLv.22は立て易いし反映され易い」ということは偽だ fact3: もし仮にそのぷゆぷにょLv.80は立て易いということはないとしたら「そのみちゃみのLv.22は立て易くないけれどそれは反映され易い」ということは誤っている fact4: そのみゆみくLv.31は難しい fact5: 仮にそのみゆみくLv.31が逆照射するし反映され易いとするとそのみゆみくLv.31は難しいということはない fact6: そのぷゆぷにょLv.80は守る fact7: もしそのみゆみくLv.31が蹂躙するとしたらそのぷゆぷにょLv.80は逆照射する fact8: なんらかのモンスターは蹂躙するとしたら「立て易くない一方で反映され易い」ということは確かである fact9: もし仮にそのぷゆぷにょLv.80が逆照射するしそれにそれが守ればそれは立て易くない fact10: そのみゆみくLv.31は蹂躙するし更に難しい
fact10 -> int1: そのみゆみくLv.31は蹂躙する; int1 & fact7 -> int2: そのぷゆぷにょLv.80は逆照射する; int2 & fact6 -> int3: そのぷゆぷにょLv.80は逆照射するしその上守る; int3 & fact9 -> int4: そのぷゆぷにょLv.80は立て易くない; int4 & fact3 -> hypothesis;
fact10 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact6 -> int3: ({C}{b} & {D}{b}); int3 & fact9 -> int4: ¬{E}{b}; int4 & fact3 -> hypothesis;
そのみちゃみのLv.22は立て易くないけれど反映され易い
fact11 -> int5: もしそのみちゃみのLv.22が蹂躙するとしたらそれは立て易くない一方で反映され易い;
$facts$ = fact1: もしもそのぷゆぷにょLv.80は立て易くないとすると「そのみちゃみのLv.22は立て易くて反映され易い」ということは誤りである fact2: 「そのみちゃみのLv.22は立て易いし反映され易い」ということは偽だ fact3: もし仮にそのぷゆぷにょLv.80は立て易いということはないとしたら「そのみちゃみのLv.22は立て易くないけれどそれは反映され易い」ということは誤っている fact4: そのみゆみくLv.31は難しい fact5: 仮にそのみゆみくLv.31が逆照射するし反映され易いとするとそのみゆみくLv.31は難しいということはない fact6: そのぷゆぷにょLv.80は守る fact7: もしそのみゆみくLv.31が蹂躙するとしたらそのぷゆぷにょLv.80は逆照射する fact8: なんらかのモンスターは蹂躙するとしたら「立て易くない一方で反映され易い」ということは確かである fact9: もし仮にそのぷゆぷにょLv.80が逆照射するしそれにそれが守ればそれは立て易くない fact10: そのみゆみくLv.31は蹂躙するし更に難しい ; $hypothesis$ = そのみちゃみのLv.22は立て易くないけれど反映され易い ; $proof$ = 
fact10 -> int1: そのみゆみくLv.31は蹂躙する; int1 & fact7 -> int2: そのぷゆぷにょLv.80は逆照射する; int2 & fact6 -> int3: そのぷゆぷにょLv.80は逆照射するしその上守る; int3 & fact9 -> int4: そのぷゆぷにょLv.80は立て易くない; int4 & fact3 -> hypothesis; __DISPROVED__
fact10 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact6 -> int3: ({C}{b} & {D}{b}); int3 & fact9 -> int4: ¬{E}{b}; int4 & fact3 -> hypothesis; __DISPROVED__