このぴにぴくLv.29は敢え無い
fact1: このぴにぴくLv.29は忘れ難い fact2: このぴにぴくLv.29は画策する fact3: もしもこのぴにぴくLv.29が物凄まじいとするとこのぴにぴくLv.29は敢え無い fact4: 仮にこのぴにぴくLv.29が画策するしそれが忘れ難いならばこのぴにぴくLv.29は製本しない fact5: もしもこのぴにぴくLv.29が製本しないししかも洒落臭くないとするとこのぴにぴくLv.29は物凄まじい fact6: 仮にそのぽのぽねLv.88は物凄まじくないとすると「それは製本するということはなくて洒落臭いということはない」ということは成り立たない fact7: もしもそのぴわぴなLv.71が物凄まじくないとするとそのぴわぴなLv.71は忘れ難くないかあるいはそれは製本する
fact2 & fact1 -> int1: このぴにぴくLv.29は画策するし更に忘れ難い; int1 & fact4 -> int2: 「このぴにぴくLv.29は製本するということはない」ということは確かだ;
fact2 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a};
このぴにぴくLv.29は敢え無くない
$facts$ = fact1: このぴにぴくLv.29は忘れ難い fact2: このぴにぴくLv.29は画策する fact3: もしもこのぴにぴくLv.29が物凄まじいとするとこのぴにぴくLv.29は敢え無い fact4: 仮にこのぴにぴくLv.29が画策するしそれが忘れ難いならばこのぴにぴくLv.29は製本しない fact5: もしもこのぴにぴくLv.29が製本しないししかも洒落臭くないとするとこのぴにぴくLv.29は物凄まじい fact6: 仮にそのぽのぽねLv.88は物凄まじくないとすると「それは製本するということはなくて洒落臭いということはない」ということは成り立たない fact7: もしもそのぴわぴなLv.71が物凄まじくないとするとそのぴわぴなLv.71は忘れ難くないかあるいはそれは製本する ; $hypothesis$ = このぴにぴくLv.29は敢え無い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__