Bob is cold. Bob is green. Bob is not smart. Dave is green. Dave is not quiet. Dave is not round. Dave is young. Gary is cold. Gary is quiet. Gary is not smart. If someone is white and not quiet then they are young. If Bob is white then Bob is not cold. If Gary is green and Gary is round then Gary is smart. If someone is smart and not young then they are cold. All young, white people are not green. Cold people are green.
Gary is not young.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule6))] Bob is not smart.[(triple3)] Dave is green.[(triple4)] Dave is not quiet.[(triple5)] Dave is not round.[(triple6)] Dave is young.[(triple7)] Gary is cold.[(triple8)] Gary is not smart.[(triple10)] Gary is quiet.[(triple9)] @1: Gary is green.[(((triple8) -> rule6))]