Anne is white. Dave is not cold. Dave is not smart. Erin is blue. Erin is cold. Erin is not round. Erin is young. Gary is blue. Gary is rough. Gary is round. Gary is smart. Gary is young. If Anne is not young then Anne is cold. If Gary is not white then Gary is young. If something is rough and white then it is smart. If Dave is young and Dave is white then Dave is round. If Anne is white and Anne is not rough then Anne is not round. Rough, young things are round.
Gary is blue.
@0: Anne is white.[(triple1)] Dave is not cold.[(triple2)] Dave is not smart.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is not round.[(triple6)] Erin is young.[(triple7)] Gary is blue.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10 OR ((triple9 triple12) -> rule6))] Gary is smart.[(triple11)] Gary is young.[(triple12)]