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