「そのぷにゃぷちゃLv.83は口惜しいモンスターでその上嫌らしい」ということは嘘だ
fact1: もし仮になにがしかのモンスターは甘酸っぱくないとすれば「それが口惜しいしその上それは嫌らしい」ということは間違いだ fact2: そのぷにゃぷちゃLv.83は口惜しい fact3: 仮にあのぷにゃぷのLv.4が口惜しくて嫌らしいとすれば「物らしくない」ということは本当だ fact4: そのぷにゃぷちゃLv.83が無理無いとしたらそれは嫌らしい fact5: そのみちゅみゆLv.77は甘酸っぱい fact6: 「物らしいかもしくは嫌らしいかまたは両方な」モンスターはいる fact7: もしも甘酸っぱいかまたは物らしいかまたはどちらもであるモンスターがいるとすればそのぷにゃぷちゃLv.83は無理無い fact8: もしも「物らしい」モンスターがいればそのぷにゃぷちゃLv.83は無理無い fact9: 仮に「そのみちゅみゆLv.77は甘酸っぱいけど物らしくない」ということは成り立たないならばそのぷにゃぷちゃLv.83は甘酸っぱくない
fact5 -> int1: そのみちゅみゆLv.77は甘酸っぱいかまたはそれは物らしいかまたは両方である; int1 -> int2: 「甘酸っぱいか物らしい」モンスターはいる; int2 & fact7 -> int3: そのぷにゃぷちゃLv.83は無理無い; int3 & fact4 -> int4: そのぷにゃぷちゃLv.83は嫌らしい; int4 & fact2 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact7 -> int3: {C}{b}; int3 & fact4 -> int4: {D}{b}; int4 & fact2 -> hypothesis;
あのぷにゃぷのLv.4は無理無い
$facts$ = fact1: もし仮になにがしかのモンスターは甘酸っぱくないとすれば「それが口惜しいしその上それは嫌らしい」ということは間違いだ fact2: そのぷにゃぷちゃLv.83は口惜しい fact3: 仮にあのぷにゃぷのLv.4が口惜しくて嫌らしいとすれば「物らしくない」ということは本当だ fact4: そのぷにゃぷちゃLv.83が無理無いとしたらそれは嫌らしい fact5: そのみちゅみゆLv.77は甘酸っぱい fact6: 「物らしいかもしくは嫌らしいかまたは両方な」モンスターはいる fact7: もしも甘酸っぱいかまたは物らしいかまたはどちらもであるモンスターがいるとすればそのぷにゃぷちゃLv.83は無理無い fact8: もしも「物らしい」モンスターがいればそのぷにゃぷちゃLv.83は無理無い fact9: 仮に「そのみちゅみゆLv.77は甘酸っぱいけど物らしくない」ということは成り立たないならばそのぷにゃぷちゃLv.83は甘酸っぱくない ; $hypothesis$ = 「そのぷにゃぷちゃLv.83は口惜しいモンスターでその上嫌らしい」ということは嘘だ ; $proof$ = 
fact5 -> int1: そのみちゅみゆLv.77は甘酸っぱいかまたはそれは物らしいかまたは両方である; int1 -> int2: 「甘酸っぱいか物らしい」モンスターはいる; int2 & fact7 -> int3: そのぷにゃぷちゃLv.83は無理無い; int3 & fact4 -> int4: そのぷにゃぷちゃLv.83は嫌らしい; int4 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact7 -> int3: {C}{b}; int3 & fact4 -> int4: {D}{b}; int4 & fact2 -> hypothesis; __DISPROVED__