このぷゆぷねLv.55は丸っこくない
fact1: そのぷねぷにゃLv.19は御固いしそれはしゃあ無い fact2: あのぷにぷなLv.41は出航するしそれは古めかしい fact3: 仮にあのぷにぷなLv.41が振り翳すしかつ御固いとするとそのぷねぷにゃLv.19は疎ましくない fact4: あのぷにぷなLv.41は古めかしい fact5: あのぷにぷなLv.41は振り翳す fact6: もしもなにがしかのモンスターは疎ましいとしたら「それは御固い一方で振り翳さない」ということは事実でない fact7: 仮にそのぷねぷにゃLv.19が疎ましくないならこのぷゆぷねLv.55は丸っこくない fact8: もし仮にあのぷにぷなLv.41が出航するとしたら御固い
fact2 -> int1: あのぷにぷなLv.41は出航する; int1 & fact8 -> int2: 「あのぷにぷなLv.41は御固い」ということは成り立つ; int2 & fact5 -> int3: あのぷにぷなLv.41は振り翳すしさらに御固い; int3 & fact3 -> int4: そのぷねぷにゃLv.19は疎ましくない; int4 & fact7 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact8 -> int2: {C}{a}; int2 & fact5 -> int3: ({D}{a} & {C}{a}); int3 & fact3 -> int4: ¬{E}{b}; int4 & fact7 -> hypothesis;
このぷゆぷねLv.55は丸っこい
fact9 -> int5: そのぷねぷにゃLv.19は疎ましいならば「「御固いしそれは振り翳さない」ということは真実である」ということは偽だ;
$facts$ = fact1: そのぷねぷにゃLv.19は御固いしそれはしゃあ無い fact2: あのぷにぷなLv.41は出航するしそれは古めかしい fact3: 仮にあのぷにぷなLv.41が振り翳すしかつ御固いとするとそのぷねぷにゃLv.19は疎ましくない fact4: あのぷにぷなLv.41は古めかしい fact5: あのぷにぷなLv.41は振り翳す fact6: もしもなにがしかのモンスターは疎ましいとしたら「それは御固い一方で振り翳さない」ということは事実でない fact7: 仮にそのぷねぷにゃLv.19が疎ましくないならこのぷゆぷねLv.55は丸っこくない fact8: もし仮にあのぷにぷなLv.41が出航するとしたら御固い ; $hypothesis$ = このぷゆぷねLv.55は丸っこくない ; $proof$ = 
fact2 -> int1: あのぷにぷなLv.41は出航する; int1 & fact8 -> int2: 「あのぷにぷなLv.41は御固い」ということは成り立つ; int2 & fact5 -> int3: あのぷにぷなLv.41は振り翳すしさらに御固い; int3 & fact3 -> int4: そのぷねぷにゃLv.19は疎ましくない; int4 & fact7 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact8 -> int2: {C}{a}; int2 & fact5 -> int3: ({D}{a} & {C}{a}); int3 & fact3 -> int4: ¬{E}{b}; int4 & fact7 -> hypothesis; __PROVED__