Anne is blue. Anne is rough. Dave is blue. Dave is green. Dave is red. Dave is smart. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is smart. All blue people are nice. If Dave is red then Dave is smart. All green people are nice. If Gary is red and Gary is quiet then Gary is smart. Nice, rough people are smart. All rough, blue people are smart.
Gary is not green.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Dave is blue.[(triple3)] Dave is green.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple6 OR ((triple5) -> rule2))] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9 OR ((triple7) -> rule1) OR ((triple8) -> rule3))] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12 OR ((triple11 triple7) -> rule6) OR ((triple9 triple11) -> rule5) OR ((((triple7) -> rule1) triple11) -> rule5) OR ((((triple8) -> rule3) triple11) -> rule5))] @1: Anne is nice.[(((triple1) -> rule1))] Anne is smart.[(((triple2 triple1) -> rule6) OR ((((triple1) -> rule1) triple2) -> rule5))] Dave is nice.[(((triple3) -> rule1) OR ((triple4) -> rule3))]