Fiona is red. Fiona is round. Fiona is smart. If Fiona is rough then Fiona is kind. If something is young and not smart then it is red. If Fiona is smart then Fiona is young. Young things are rough. If something is red then it is young. If something is smart and not red then it is round.
Fiona is rough.
@0: Fiona is red.[(triple1)] Fiona is round.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is young.[(((triple1) -> rule5) OR ((triple3) -> rule3))] @2: Fiona is rough.[(((((triple1) -> rule5)) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] @3: Fiona is kind.[(((((((triple1) -> rule5)) -> rule4)) -> rule1) OR ((((((triple3) -> rule3)) -> rule4)) -> rule1))]