Anne is blue. Anne is not green. Anne is kind. Anne is not red. Anne is rough. Bob is not big. Bob is not blue. Bob is cold. Bob is green. Erin is blue. Erin is kind. Gary is big. Gary is blue. Gary is cold. Gary is rough. If someone is red and big then they are not kind. If someone is cold and not blue then they are green. If Gary is red and Gary is big then Gary is green. If Bob is kind then Bob is not green. If someone is blue and big then they are red. Big people are red.
Gary is not green.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Anne is not red.[(triple4)] Anne is rough.[(triple5)] Bob is cold.[(triple8)] Bob is green.[(triple9 OR ((triple8 triple7) -> rule2))] Bob is not big.[(triple6)] Bob is not blue.[(triple7)] Erin is blue.[(triple10)] Erin is kind.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13)] Gary is cold.[(triple14)] Gary is rough.[(triple15)] @1: Gary is red.[(((triple12) -> rule6) OR ((triple13 triple12) -> rule5))] @2: Gary is green.[(((((triple12) -> rule6) triple12) -> rule3) OR ((((triple13 triple12) -> rule5) triple12) -> rule3))] Gary is not kind.[(((((triple12) -> rule6) triple12) -> rule1) OR ((((triple13 triple12) -> rule5) triple12) -> rule1))]