Dave is green. Erin is green. Erin is quiet. Fiona is quiet. Fiona is rough. Harry is cold. Harry is rough. Green things are not cold. Nice things are green. If something is cold then it is furry. If Fiona is rough then Fiona is not nice. If Harry is not cold then Harry is quiet. All furry things are round. If something is rough and quiet then it is not round. If something is quiet and not green then it is round.
Dave is not furry.
@0: Dave is green.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Harry is cold.[(triple6)] Harry is rough.[(triple7)] @1: Dave is not cold.[(((triple1) -> rule1))] Erin is not cold.[(((triple2) -> rule1))] Fiona is not nice.[(((triple5) -> rule4))] Fiona is not round.[(((triple5 triple4) -> rule7))] Harry is furry.[(((triple6) -> rule3))] @2: Harry is round.[(((((triple6) -> rule3)) -> rule6))]