Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is red. Anne is smart. Anne is young. Bob is not young. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is red. Gary is not smart. Gary is young. If Bob is kind then Bob is smart. If Bob is cold and Bob is blue then Bob is not green. If something is kind then it is young.
Anne is kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple4) -> rule3))] Bob is not young.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] Gary is not smart.[(triple14)] Gary is red.[(triple13)] Gary is young.[(triple15 OR ((triple12) -> rule3))]