Anne is blue. Anne is nice. Anne is quiet. Anne is not smart. Anne is white. Bob is not cold. Bob is quiet. Bob is smart. Bob is young. Gary is blue. Gary is not cold. Gary is nice. Gary is quiet. Gary is smart. Gary is not white. Gary is young. If Bob is young then Bob is smart.
Gary is not cold.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is not smart.[(triple4)] Anne is quiet.[(triple3)] Anne is white.[(triple5)] Bob is not cold.[(triple6)] Bob is quiet.[(triple7)] Bob is smart.[(triple8 OR ((triple9) -> rule1))] Bob is young.[(triple9)] Gary is blue.[(triple10)] Gary is nice.[(triple12)] Gary is not cold.[(triple11)] Gary is not white.[(triple15)] Gary is quiet.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple16)]