Dave is rough. Erin is big. Fiona is kind. Harry is round. All round, rough things are kind. All round things are rough.
Erin is not green.
@0: Dave is rough.[(triple1)] Erin is big.[(triple2)] Fiona is kind.[(triple3)] Harry is round.[(triple4)] @1: Harry is rough.[(((triple4) -> rule2))] @2: Harry is kind.[(((triple4 ((triple4) -> rule2)) -> rule1))]