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