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