Anne is cold. Anne is kind. Anne is quiet. Anne is white. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. Gary is cold. Gary is green. Gary is quiet. Gary is smart. Gary is white. Gary is young. If Charlie is quiet then Charlie is green. If someone is smart then they are green.
Anne is young.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6 OR ((triple7) -> rule1) OR ((triple8) -> rule2))] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12 OR ((triple14) -> rule2))] Gary is quiet.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)]