Charlie is cold. Charlie is quiet. Charlie is young. Fiona is nice. Fiona is quiet. Fiona is not red. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is white. Gary is young. Harry is quiet. Harry is white. If someone is nice and young then they are red.
Charlie is not cold.
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2)] Charlie is young.[(triple3)] Fiona is nice.[(triple4)] Fiona is not red.[(triple6)] Fiona is quiet.[(triple5)] Gary is cold.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11 OR ((triple9 triple13) -> rule1))] Gary is white.[(triple12)] Gary is young.[(triple13)] Harry is quiet.[(triple14)] Harry is white.[(triple15)]