Anne is kind. Anne is nice. Anne is smart. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is smart. If someone is nice then they are rough. All red people are blue. If someone is rough and nice then they are red.
Gary is not big.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5 OR ((triple8) -> rule2) OR ((((triple9 triple7) -> rule3)) -> rule2) OR ((((((triple7) -> rule1) triple7) -> rule3)) -> rule2))] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Gary is red.[(triple8 OR ((triple9 triple7) -> rule3) OR ((((triple7) -> rule1) triple7) -> rule3))] Gary is rough.[(triple9 OR ((triple7) -> rule1))] Gary is smart.[(triple10)] @1: Anne is rough.[(((triple2) -> rule1))] @2: Anne is red.[(((((triple2) -> rule1) triple2) -> rule3))] @3: Anne is blue.[(((((((triple2) -> rule1) triple2) -> rule3)) -> rule2))]