Anne is round. Anne is young. Dave is not nice. Dave is red. Fiona is green. Fiona is smart. Harry is not smart. All red things are big. All smart things are big. If Dave is young and Dave is not green then Dave is not big. Smart things are not round. All big things are smart. If something is smart and not young then it is not red.
Harry is smart.
@0: Anne is round.[(triple1)] Anne is young.[(triple2)] Dave is not nice.[(triple3)] Dave is red.[(triple4)] Fiona is green.[(triple5)] Fiona is smart.[(triple6)] Harry is not smart.[(triple7)] @1: Dave is big.[(((triple4) -> rule1))] Fiona is big.[(((triple6) -> rule2))] Fiona is not round.[(((triple6) -> rule4))] @2: Dave is smart.[(((((triple4) -> rule1)) -> rule5))] @3: Dave is not round.[(((((((triple4) -> rule1)) -> rule5)) -> rule4))]