Charlie is round. Charlie is young. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is round. Fiona is white. Fiona is young. Gary is cold. Gary is quiet. Gary is red. Gary is round. Gary is white. Gary is young. All red people are cold. All round people are cold.
Fiona is not blue.
@0: Charlie is round.[(triple1)] Charlie is young.[(triple2)] Fiona is blue.[(triple3)] Fiona is cold.[(triple4 OR ((triple6) -> rule1) OR ((triple7) -> rule2))] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] Fiona is white.[(triple8)] Fiona is young.[(triple9)] Gary is cold.[(triple10 OR ((triple12) -> rule1) OR ((triple13) -> rule2))] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Charlie is cold.[(((triple1) -> rule2))]