Anne is big. Anne is kind. Anne is nice. Anne is rough. Anne is round. Anne is smart. Charlie is rough. Charlie is round. Charlie is smart. Gary is big. Gary is kind. Gary is smart. All big, rough people are smart. Rough, red people are smart. Big people are nice. All rough, nice people are kind. All round people are big. All nice people are round.
Anne is not red.
@0: Anne is big.[(triple1 OR ((triple5) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] Anne is kind.[(triple2 OR ((triple4 triple3) -> rule4) OR ((triple4 ((triple1) -> rule3)) -> rule4) OR ((triple4 ((((triple5) -> rule5)) -> rule3)) -> rule4))] Anne is nice.[(triple3 OR ((triple1) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple3) -> rule6) OR ((((triple1) -> rule3)) -> rule6))] Anne is smart.[(triple6 OR ((triple1 triple4) -> rule1) OR ((((triple5) -> rule5) triple4) -> rule1) OR ((((((triple3) -> rule6)) -> rule5) triple4) -> rule1))] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Charlie is smart.[(triple9 OR ((((triple8) -> rule5) triple7) -> rule1))] Gary is big.[(triple10)] Gary is kind.[(triple11)] Gary is smart.[(triple12)] @1: Charlie is big.[(((triple8) -> rule5))] Gary is nice.[(((triple10) -> rule3))] @2: Charlie is nice.[(((((triple8) -> rule5)) -> rule3))] Gary is round.[(((((triple10) -> rule3)) -> rule6))] @3: Charlie is kind.[(((triple7 ((((triple8) -> rule5)) -> rule3)) -> rule4))]