Anne is cold. Anne is not furry. Charlie is red. Charlie is white. Charlie is young. Gary is cold. Gary is not furry. Gary is not red. Gary is smart. Gary is white. Red people are not cold. If someone is smart then they are cold. If Anne is red and Anne is young then Anne is furry. Cold, blue people are red. White people are not blue. If someone is furry then they are blue.
Anne is smart.
@0: Anne is cold.[(triple1)] Anne is not furry.[(triple2)] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Gary is cold.[(triple6 OR ((triple9) -> rule2))] Gary is not furry.[(triple7)] Gary is not red.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Charlie is not blue.[(((triple4) -> rule5))] Charlie is not cold.[(((triple3) -> rule1))] Gary is not blue.[(((triple10) -> rule5))]