Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Erin is green. Erin is nice. Erin is quiet. Fiona is cold. Fiona is furry. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is red. If someone is cold and quiet then they are round. If someone is furry then they are green.
Gary is not cold.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13 OR ((triple12) -> rule2))] Gary is nice.[(triple14)] Gary is quiet.[(triple15)] Gary is red.[(triple16)] @1: Charlie is round.[(((triple1 triple4) -> rule1))] Fiona is green.[(((triple10) -> rule2))] Gary is round.[(((triple11 triple15) -> rule1))]