Anne is kind. Dave is red. Fiona is smart. Harry is round. If something is big and not round then it is kind. Smart, rough things are kind. If something is rough and kind then it is young. If something is smart then it is rough. If something is smart and not round then it is big. If something is round then it is big.
Fiona is not big.
@0: Anne is kind.[(triple1)] Dave is red.[(triple2)] Fiona is smart.[(triple3)] Harry is round.[(triple4)] @1: Fiona is rough.[(((triple3) -> rule4))] Harry is big.[(((triple4) -> rule6))] @2: Fiona is kind.[(((triple3 ((triple3) -> rule4)) -> rule2))] @3: Fiona is young.[(((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule2)) -> rule3))]