Anne is not big. Anne is red. Anne is young. Charlie is nice. Charlie is smart. Harry is nice. Harry is red. If Charlie is young then Charlie is not blue. All nice people are young. All rough people are blue. Big people are smart. Rough people are smart. If someone is young and red then they are smart. If Harry is blue and Harry is big then Harry is smart. Red people are nice.
Charlie is not blue.
@0: Anne is not big.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3 OR ((((triple2) -> rule8)) -> rule2))] Charlie is nice.[(triple4)] Charlie is smart.[(triple5)] Harry is nice.[(triple6 OR ((triple7) -> rule8))] Harry is red.[(triple7)] @1: Anne is nice.[(((triple2) -> rule8))] Anne is smart.[(((triple3 triple2) -> rule6) OR ((((((triple2) -> rule8)) -> rule2) triple2) -> rule6))] Charlie is young.[(((triple4) -> rule2))] Harry is young.[(((triple6) -> rule2) OR ((((triple7) -> rule8)) -> rule2))] @2: Charlie is not blue.[(((((triple4) -> rule2)) -> rule1))] Harry is smart.[(((((triple6) -> rule2) triple7) -> rule6) OR ((((((triple7) -> rule8)) -> rule2) triple7) -> rule6))]