Anne is big. Anne is quiet. Anne is smart. Anne is white. Charlie is big. Charlie is quiet. Charlie is young. Harry is not smart. Harry is white. Harry is young. Smart things are quiet. Smart, young things are cold. If Harry is big then Harry is young. Big, cold things are not green. If Harry is big then Harry is quiet. Big things are smart.
Charlie is not cold.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule1) OR ((((triple1) -> rule6)) -> rule1))] Anne is smart.[(triple3 OR ((triple1) -> rule6))] Anne is white.[(triple4)] Charlie is big.[(triple5)] Charlie is quiet.[(triple6 OR ((((triple5) -> rule6)) -> rule1))] Charlie is young.[(triple7)] Harry is not smart.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Charlie is smart.[(((triple5) -> rule6))] @2: Charlie is cold.[(((((triple5) -> rule6) triple7) -> rule2))] @3: Charlie is not green.[(((triple5 ((((triple5) -> rule6) triple7) -> rule2)) -> rule4))]