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