Dave is not round. Erin is not white. Fiona is not young. Harry is rough. Rough things are kind. If Dave is nice then Dave is not rough. Round things are blue. Kind things are round. Young things are round. If Erin is not nice and Erin is not round then Erin is blue.
Harry is not white.
@0: Dave is not round.[(triple1)] Erin is not white.[(triple2)] Fiona is not young.[(triple3)] Harry is rough.[(triple4)] @1: Harry is kind.[(((triple4) -> rule1))] @2: Harry is round.[(((((triple4) -> rule1)) -> rule4))] @3: Harry is blue.[(((((((triple4) -> rule1)) -> rule4)) -> rule3))]