Charlie is cold. Charlie is rough. Charlie is round. Charlie is white. Gary is cold. Gary is furry. Gary is red. Gary is round. Gary is smart. Gary is white. If someone is white and red then they are smart. If Charlie is white then Charlie is red. If someone is furry then they are cold. Rough, cold people are red. If someone is smart and white then they are furry. If someone is furry and white then they are red.
Charlie is not red.
@0: Charlie is cold.[(triple1 OR ((((((triple4 ((triple4) -> rule2)) -> rule1) triple4) -> rule5)) -> rule3))] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Gary is cold.[(triple5 OR ((triple6) -> rule3) OR ((((triple9 triple10) -> rule5)) -> rule3) OR ((((((triple10 triple7) -> rule1) triple10) -> rule5)) -> rule3))] Gary is furry.[(triple6 OR ((triple9 triple10) -> rule5) OR ((((triple10 triple7) -> rule1) triple10) -> rule5))] Gary is red.[(triple7 OR ((triple6 triple10) -> rule6) OR ((((triple9 triple10) -> rule5) triple10) -> rule6))] Gary is round.[(triple8)] Gary is smart.[(triple9 OR ((triple10 triple7) -> rule1) OR ((triple10 ((triple6 triple10) -> rule6)) -> rule1))] Gary is white.[(triple10)] @1: Charlie is red.[(((triple4) -> rule2) OR ((triple2 triple1) -> rule4))] @2: Charlie is smart.[(((triple4 ((triple4) -> rule2)) -> rule1) OR ((triple4 ((triple2 triple1) -> rule4)) -> rule1))] @3: Charlie is furry.[(((((triple4 ((triple4) -> rule2)) -> rule1) triple4) -> rule5) OR ((((triple4 ((triple2 triple1) -> rule4)) -> rule1) triple4) -> rule5))]