Charlie is not furry. Charlie is round. Charlie is smart. Charlie is white. Gary is nice. Gary is not quiet. Gary is smart. If someone is smart and white then they are not furry. If someone is furry and smart then they are cold. If someone is round then they are white. If someone is quiet and not smart then they are white. If Charlie is cold then Charlie is quiet. If Charlie is smart then Charlie is nice. If someone is furry and not cold then they are nice. All cold people are not nice.
Gary is not white.
@0: Charlie is not furry.[(triple1 OR ((triple3 triple4) -> rule1) OR ((triple3 ((triple2) -> rule3)) -> rule1))] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4 OR ((triple2) -> rule3))] Gary is nice.[(triple5)] Gary is not quiet.[(triple6)] Gary is smart.[(triple7)] @1: Charlie is nice.[(((triple3) -> rule6))]