Charlie is blue. Charlie is cold. Charlie is nice. Fiona is furry. Fiona is nice. Fiona is round. Gary is furry. Gary is green. Gary is nice. Gary is round. Harry is furry. Harry is kind. If something is furry and nice then it is kind. All green things are blue. If Fiona is cold then Fiona is blue.
Gary is cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Fiona is furry.[(triple4)] Fiona is nice.[(triple5)] Fiona is round.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is round.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12)] @1: Fiona is kind.[(((triple4 triple5) -> rule1))] Gary is blue.[(((triple8) -> rule2))] Gary is kind.[(((triple7 triple9) -> rule1))]