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