Bob is cold. Bob is kind. Bob is not nice. Bob is rough. Bob is young. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is not quiet. Erin is rough. Erin is young. Gary is green. Gary is quiet. Gary is young. If Gary is not young then Gary is cold. If Bob is quiet then Bob is nice. All kind, nice things are cold. All nice, quiet things are cold. If something is nice and not young then it is not cold. If something is young and not cold then it is green.
Bob is not young.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is not nice.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Erin is cold.[(triple6 OR ((triple8 triple9) -> rule3))] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is not quiet.[(triple10)] Erin is rough.[(triple11)] Erin is young.[(triple12)] Gary is green.[(triple13)] Gary is quiet.[(triple14)] Gary is young.[(triple15)]