Bob is not big. Bob is cold. Bob is not furry. Bob is quiet. Bob is not red. Bob is not white. Bob is not young. Charlie is big. Charlie is quiet. Charlie is not red. If Charlie is big then Charlie is furry. All young, cold people are red. If someone is young then they are white.
Charlie is not white.
@0: Bob is cold.[(triple2)] Bob is not big.[(triple1)] Bob is not furry.[(triple3)] Bob is not red.[(triple5)] Bob is not white.[(triple6)] Bob is not young.[(triple7)] Bob is quiet.[(triple4)] Charlie is big.[(triple8)] Charlie is not red.[(triple10)] Charlie is quiet.[(triple9)] @1: Charlie is furry.[(((triple8) -> rule1))]