Anne is nice. Anne is red. Anne is young. Bob is red. Bob is smart. Bob is white. Bob is young. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Gary is rough. Gary is young. Rough, nice people are smart. All young people are red. Nice, young people are rough. If someone is round then they are young. All nice people are rough. If someone is smart then they are young.
Anne is not smart.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2 OR ((triple3) -> rule2) OR ((((((((triple1) -> rule5) triple1) -> rule1)) -> rule6)) -> rule2))] Anne is young.[(triple3 OR ((((((triple1) -> rule5) triple1) -> rule1)) -> rule6))] Bob is red.[(triple4 OR ((triple7) -> rule2) OR ((((triple5) -> rule6)) -> rule2))] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple5) -> rule6))] Charlie is nice.[(triple8)] Charlie is red.[(triple9 OR ((triple13) -> rule2) OR ((((triple10) -> rule4)) -> rule2) OR ((((triple11) -> rule6)) -> rule2) OR ((((((((triple8) -> rule5) triple8) -> rule1)) -> rule6)) -> rule2))] Charlie is round.[(triple10)] Charlie is smart.[(triple11 OR ((((triple8) -> rule5) triple8) -> rule1) OR ((((triple8 triple13) -> rule3) triple8) -> rule1) OR ((((triple8 ((triple10) -> rule4)) -> rule3) triple8) -> rule1))] Charlie is white.[(triple12)] Charlie is young.[(triple13 OR ((triple10) -> rule4) OR ((triple11) -> rule6) OR ((((((triple8) -> rule5) triple8) -> rule1)) -> rule6))] Gary is rough.[(triple14)] Gary is young.[(triple15)] @1: Anne is rough.[(((triple1) -> rule5) OR ((triple1 triple3) -> rule3))] Charlie is rough.[(((triple8) -> rule5) OR ((triple8 triple13) -> rule3) OR ((triple8 ((triple10) -> rule4)) -> rule3) OR ((triple8 ((triple11) -> rule6)) -> rule3))] Gary is red.[(((triple15) -> rule2))] @2: Anne is smart.[(((((triple1) -> rule5) triple1) -> rule1) OR ((((triple1 triple3) -> rule3) triple1) -> rule1))]