Dave is smart. Fiona is kind. If someone is kind and rough then they are green. All smart people are green. Kind people are white. All rough, green people are round. If someone is kind then they are rough. All smart, round people are nice.
Dave is not round.
@0: Dave is smart.[(triple1)] Fiona is kind.[(triple2)] @1: Dave is green.[(((triple1) -> rule2))] Fiona is rough.[(((triple2) -> rule5))] Fiona is white.[(((triple2) -> rule3))] @2: Fiona is green.[(((triple2 ((triple2) -> rule5)) -> rule1))] @3: Fiona is round.[(((((triple2) -> rule5) ((triple2 ((triple2) -> rule5)) -> rule1)) -> rule4))]