Anne is kind. Anne is nice. Anne is not rough. Bob is nice. Bob is red. Bob is rough. Bob is round. Gary is not cold. Gary is green. Gary is rough. If something is nice then it is red.
Gary is not red.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is not rough.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5 OR ((triple4) -> rule1))] Bob is rough.[(triple6)] Bob is round.[(triple7)] Gary is green.[(triple9)] Gary is not cold.[(triple8)] Gary is rough.[(triple10)] @1: Anne is red.[(((triple2) -> rule1))]