Dave is green. Fiona is not young. Harry is smart. If someone is smart then they are red. If someone is red then they are round. If someone is green then they are smart.
Dave is smart.
@0: Dave is green.[(triple1)] Fiona is not young.[(triple2)] Harry is smart.[(triple3)] @1: Dave is smart.[(((triple1) -> rule3))] Harry is red.[(((triple3) -> rule1))] @2: Dave is red.[(((((triple1) -> rule3)) -> rule1))] Harry is round.[(((((triple3) -> rule1)) -> rule2))] @3: Dave is round.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]