Anne is cold. Anne is green. Anne is young. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is round. Gary is smart. Gary is young. All round, big people are green. If someone is green then they are round. If Gary is cold then Gary is young. All green, cold people are furry. If someone is smart and cold then they are young. If someone is furry then they are green.
Anne is not smart.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is young.[(triple3)] Gary is big.[(triple4)] Gary is cold.[(triple5)] Gary is furry.[(triple6 OR ((triple7 triple5) -> rule4) OR ((((triple8 triple4) -> rule1) triple5) -> rule4))] Gary is green.[(triple7 OR ((triple6) -> rule6) OR ((triple8 triple4) -> rule1))] Gary is round.[(triple8 OR ((triple7) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] Gary is smart.[(triple9)] Gary is young.[(triple10 OR ((triple5) -> rule3) OR ((triple9 triple5) -> rule5))] @1: Anne is furry.[(((triple2 triple1) -> rule4))] Anne is round.[(((triple2) -> rule2))]