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