Anne is smart. Charlie is green. Harry is young. All green things are big. Green things are big. If Charlie is green and Charlie is big then Charlie is not red. If Harry is big then Harry is not rough. If something is big and not red then it is rough. If Charlie is not rough then Charlie is nice.
Harry is not young.
@0: Anne is smart.[(triple1)] Charlie is green.[(triple2)] Harry is young.[(triple3)] @1: Charlie is big.[(((triple2) -> rule1) OR ((triple2) -> rule2))] @2: Charlie is not red.[(((triple2 ((triple2) -> rule1)) -> rule3) OR ((triple2 ((triple2) -> rule2)) -> rule3))] @3: Charlie is rough.[(((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule5) OR ((((triple2) -> rule1) ((triple2 ((triple2) -> rule2)) -> rule3)) -> rule5) OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule5) OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule3)) -> rule5))]