Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is smart. Erin is cold. Erin is furry. Erin is quiet. Gary is round. Gary is smart. If someone is green and red then they are round. If Erin is smart and Erin is green then Erin is quiet. Cold, red people are smart.
Erin is not round.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6 OR ((triple3 triple5) -> rule1))] Anne is smart.[(triple7 OR ((triple1 triple5) -> rule3))] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is quiet.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12)]