Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is white. Erin is cold. Erin is furry. Erin is green. Erin is round. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is round. If someone is furry then they are quiet. Furry, green people are quiet. Quiet people are red. If Gary is quiet then Gary is white. If Gary is cold then Gary is round. Cold people are furry.
Anne is cold.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule1) OR ((triple1 triple2) -> rule2))] Anne is red.[(triple4 OR ((triple3) -> rule3) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple1 triple2) -> rule2)) -> rule3))] Anne is round.[(triple5)] Anne is white.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8 OR ((triple7) -> rule6))] Erin is green.[(triple9)] Erin is round.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12 OR ((triple11) -> rule6))] Gary is green.[(triple13)] Gary is quiet.[(triple14 OR ((triple12) -> rule1) OR ((triple12 triple13) -> rule2) OR ((((triple11) -> rule6)) -> rule1) OR ((((triple11) -> rule6) triple13) -> rule2))] Gary is red.[(triple15 OR ((triple14) -> rule3) OR ((((triple12) -> rule1)) -> rule3) OR ((((triple12 triple13) -> rule2)) -> rule3) OR ((((((triple11) -> rule6)) -> rule1)) -> rule3) OR ((((((triple11) -> rule6) triple13) -> rule2)) -> rule3))] Gary is round.[(triple16 OR ((triple11) -> rule5))] @1: Erin is quiet.[(((triple8) -> rule1) OR ((triple8 triple9) -> rule2) OR ((((triple7) -> rule6)) -> rule1) OR ((((triple7) -> rule6) triple9) -> rule2))] Gary is white.[(((triple14) -> rule4) OR ((((triple12) -> rule1)) -> rule4) OR ((((triple12 triple13) -> rule2)) -> rule4) OR ((((((triple11) -> rule6)) -> rule1)) -> rule4) OR ((((((triple11) -> rule6) triple13) -> rule2)) -> rule4))] @2: Erin is red.[(((((triple8) -> rule1)) -> rule3) OR ((((triple8 triple9) -> rule2)) -> rule3) OR ((((((triple7) -> rule6)) -> rule1)) -> rule3) OR ((((((triple7) -> rule6) triple9) -> rule2)) -> rule3))]