そのぴねぴにLv.79は青黒い
fact1: もしもそのみくみにゅLv.97が泥臭くないとすればそのぴねぴにLv.79は通じ易いが賑々しくない fact2: そのみくみにゅLv.97は折れ易いということはない fact3: もしそのみくみにゅLv.97が折れ易くないとすれば泥臭くない fact4: もしも「そのぴねぴにLv.79は通じ易いけれどそれは賑々しくない」ということは成り立てばそのぴねぴにLv.79は青黒くない
fact3 & fact2 -> int1: そのみくみにゅLv.97は泥臭くない; int1 & fact1 -> int2: 「そのぴねぴにLv.79は通じ易い一方で賑々しくない」ということは事実である; int2 & fact4 -> hypothesis;
fact3 & fact2 -> int1: ¬{B}{a}; int1 & fact1 -> int2: ({C}{b} & ¬{D}{b}); int2 & fact4 -> hypothesis;
$facts$ = fact1: もしもそのみくみにゅLv.97が泥臭くないとすればそのぴねぴにLv.79は通じ易いが賑々しくない fact2: そのみくみにゅLv.97は折れ易いということはない fact3: もしそのみくみにゅLv.97が折れ易くないとすれば泥臭くない fact4: もしも「そのぴねぴにLv.79は通じ易いけれどそれは賑々しくない」ということは成り立てばそのぴねぴにLv.79は青黒くない ; $hypothesis$ = そのぴねぴにLv.79は青黒い ; $proof$ = 
fact3 & fact2 -> int1: そのみくみにゅLv.97は泥臭くない; int1 & fact1 -> int2: 「そのぴねぴにLv.79は通じ易い一方で賑々しくない」ということは事実である; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: ¬{B}{a}; int1 & fact1 -> int2: ({C}{b} & ¬{D}{b}); int2 & fact4 -> hypothesis; __DISPROVED__