「あのぽえぽよLv.36は仲間らしくないけど太し」ということは誤りである
fact1: あのぽえぽよLv.36は冷蔵しない fact2: もしもそのみにゃみにLv.43が太しないとするとそれは太しということはないけれど守り継ぐ fact3: あのぽえぽよLv.36があくどいとすればあのぽえぽよLv.36は行い易い fact4: あのぽえぽよLv.36はあくどい fact5: もしあのぽえぽよLv.36が行い易いならあのぽえぽよLv.36は御強い fact6: あのぽえぽよLv.36が押し易いとすればあのぽえぽよLv.36は仲間らしくない fact7: もしあのぽえぽよLv.36は御強いかまたは押し易いかあるいはどちらもだとすればそれは仲間らしくない
fact3 & fact4 -> int1: あのぽえぽよLv.36は行い易い; int1 & fact5 -> int2: あのぽえぽよLv.36は御強い; int2 -> int3: あのぽえぽよLv.36は御強いかそれは押し易い; int3 & fact7 -> int4: あのぽえぽよLv.36は仲間らしくない;
fact3 & fact4 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 -> int3: ({C}{a} v {D}{a}); int3 & fact7 -> int4: ¬{E}{a};
$facts$ = fact1: あのぽえぽよLv.36は冷蔵しない fact2: もしもそのみにゃみにLv.43が太しないとするとそれは太しということはないけれど守り継ぐ fact3: あのぽえぽよLv.36があくどいとすればあのぽえぽよLv.36は行い易い fact4: あのぽえぽよLv.36はあくどい fact5: もしあのぽえぽよLv.36が行い易いならあのぽえぽよLv.36は御強い fact6: あのぽえぽよLv.36が押し易いとすればあのぽえぽよLv.36は仲間らしくない fact7: もしあのぽえぽよLv.36は御強いかまたは押し易いかあるいはどちらもだとすればそれは仲間らしくない ; $hypothesis$ = 「あのぽえぽよLv.36は仲間らしくないけど太し」ということは誤りである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__