そのぷくぷにゅLv.40は心置き無い
fact1: そのぷくぷにゅLv.40は会話らしくない fact2: 仮に「あのもやもくLv.87は作り易い」ということは本当であるならばそれは会話らしくない fact3: あのもやもくLv.87は厚ぼったい fact4: もしもあのもやもくLv.87が会話らしくないとすればそのぷくぷにゅLv.40は会話らしくない fact5: もしあのもやもくLv.87が厚ぼったいかあるいはそれが作り易いとしたら会話らしいということはない
fact3 -> int1: あのもやもくLv.87は厚ぼったいかまたは作り易いかあるいは両方である; int1 & fact5 -> int2: あのもやもくLv.87は会話らしくない;
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> int2: ¬{C}{a};
$facts$ = fact1: そのぷくぷにゅLv.40は会話らしくない fact2: 仮に「あのもやもくLv.87は作り易い」ということは本当であるならばそれは会話らしくない fact3: あのもやもくLv.87は厚ぼったい fact4: もしもあのもやもくLv.87が会話らしくないとすればそのぷくぷにゅLv.40は会話らしくない fact5: もしあのもやもくLv.87が厚ぼったいかあるいはそれが作り易いとしたら会話らしいということはない ; $hypothesis$ = そのぷくぷにゅLv.40は心置き無い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__