Erin is red. Erin is smart. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. Gary is blue. Gary is not cold. Gary is furry. Gary is quiet. Gary is smart. Gary is young. Blue, quiet people are young. All red people are quiet. Furry people are blue. If someone is cold then they are blue. If someone is blue then they are furry. If someone is red and blue then they are furry.
Fiona is not cold.
@0: Erin is red.[(triple1)] Erin is smart.[(triple2)] Fiona is blue.[(triple3 OR ((triple5) -> rule3))] Fiona is furry.[(triple5 OR ((triple3) -> rule5) OR ((triple7 triple3) -> rule6))] Fiona is not cold.[(triple4)] Fiona is quiet.[(triple6 OR ((triple7) -> rule2))] Fiona is red.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9 OR ((triple3 triple6) -> rule1) OR ((triple3 ((triple7) -> rule2)) -> rule1) OR ((((triple5) -> rule3) triple6) -> rule1) OR ((((triple5) -> rule3) ((triple7) -> rule2)) -> rule1))] Gary is blue.[(triple10 OR ((triple12) -> rule3))] Gary is furry.[(triple12 OR ((triple10) -> rule5))] Gary is not cold.[(triple11)] Gary is quiet.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15 OR ((triple10 triple13) -> rule1) OR ((((triple12) -> rule3) triple13) -> rule1))] @1: Erin is quiet.[(((triple1) -> rule2))]