Erin is cold. Erin is young. Fiona is blue. Fiona is cold. Fiona is green. Fiona is red. Fiona is young. Gary is blue. Gary is cold. Gary is furry. Harry is furry. Harry is green. Harry is red. Harry is round. Harry is young. If something is blue then it is young. If something is cold then it is green. If something is blue then it is green. If Erin is furry then Erin is blue. Furry, round things are young. If Fiona is green then Fiona is round.
Gary is cold.
@0: Erin is cold.[(triple1)] Erin is young.[(triple2)] Fiona is blue.[(triple3)] Fiona is cold.[(triple4)] Fiona is green.[(triple5 OR ((triple3) -> rule3) OR ((triple4) -> rule2))] Fiona is red.[(triple6)] Fiona is young.[(triple7 OR ((triple3) -> rule1))] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15 OR ((triple11 triple14) -> rule5))] @1: Erin is green.[(((triple1) -> rule2))] Fiona is round.[(((triple5) -> rule6) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] Gary is green.[(((triple8) -> rule3) OR ((triple9) -> rule2))] Gary is young.[(((triple8) -> rule1))]