Erin is rough. Erin is round. Fiona is red. Harry is green. Harry is kind. Harry is red. Harry is white. Red people are white.
Erin is rough.
@0: Erin is rough.[(triple1)] Erin is round.[(triple2)] Fiona is red.[(triple3)] Harry is green.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6)] Harry is white.[(triple7 OR ((triple6) -> rule1))] @1: Fiona is white.[(((triple3) -> rule1))]