そのぴねぴにょLv.40は忌ま忌ましいしその上狭苦しい
fact1: 「そのぴねぴにょLv.40は狭苦しい」ということは事実である fact2: そのぴねぴにょLv.40が否定し難くないとすればそのぴねぴにょLv.40は粟立たない fact3: そのぽなぽちゃLv.88は近付き易くて結び付き易い fact4: もしもそのぴねぴにょLv.40が否定し難くないとすればそのぴねぴにょLv.40は粟立たないけれど付き難い fact5: 理屈っぽいモンスターは狭苦しい fact6: もしもそのぽなぽちゃLv.88が近付き易いとすると理屈っぽい fact7: あらゆるモンスターは否定し難くない fact8: 「そのぴねぴにょLv.40は粟立たない」ということは成り立つ
fact7 -> int1: そのぴねぴにょLv.40は否定し難いということはない; fact4 & int1 -> int2: そのぴねぴにょLv.40は粟立たないけどそれは付き難い;
fact7 -> int1: ¬{A}{a}; fact4 & int1 -> int2: (¬{AA}{a} & {AB}{a});
そのぽなぽちゃLv.88は忌ま忌ましい
fact10 -> int3: 仮にそのぽなぽちゃLv.88が理屈っぽいならそれは狭苦しい; fact9 -> int4: そのぽなぽちゃLv.88は近付き易い; fact11 & int4 -> int5: そのぽなぽちゃLv.88は理屈っぽい; int3 & int5 -> int6: 「そのぽなぽちゃLv.88は狭苦しい」ということは誤っていない;
$facts$ = fact1: 「そのぴねぴにょLv.40は狭苦しい」ということは事実である fact2: そのぴねぴにょLv.40が否定し難くないとすればそのぴねぴにょLv.40は粟立たない fact3: そのぽなぽちゃLv.88は近付き易くて結び付き易い fact4: もしもそのぴねぴにょLv.40が否定し難くないとすればそのぴねぴにょLv.40は粟立たないけれど付き難い fact5: 理屈っぽいモンスターは狭苦しい fact6: もしもそのぽなぽちゃLv.88が近付き易いとすると理屈っぽい fact7: あらゆるモンスターは否定し難くない fact8: 「そのぴねぴにょLv.40は粟立たない」ということは成り立つ ; $hypothesis$ = そのぴねぴにょLv.40は忌ま忌ましいしその上狭苦しい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__