Dave is red. Dave is smart. Erin is furry. Erin is green. Erin is smart. Fiona is furry. Fiona is quiet. Fiona is smart. Harry is furry. Harry is green. Harry is nice. Harry is red. If something is nice then it is smart. White things are nice. If Fiona is red and Fiona is green then Fiona is smart. If Dave is green and Dave is furry then Dave is smart. Nice, red things are green. All furry, nice things are red.
Dave is not green.
@0: Dave is red.[(triple1)] Dave is smart.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is smart.[(triple5)] Fiona is furry.[(triple6)] Fiona is quiet.[(triple7)] Fiona is smart.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple9 triple11) -> rule6)) -> rule5))] Harry is nice.[(triple11)] Harry is red.[(triple12 OR ((triple9 triple11) -> rule6))] @1: Harry is smart.[(((triple11) -> rule1))]