Dave is furry. Dave is kind. Dave is quiet. Dave is smart. Erin is blue. Erin is green. Erin is quiet. Erin is round. Erin is not smart. Harry is smart. Smart people are kind.
Dave is smart.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2 OR ((triple4) -> rule1))] Dave is quiet.[(triple3)] Dave is smart.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is not smart.[(triple9)] Erin is quiet.[(triple7)] Erin is round.[(triple8)] Harry is smart.[(triple10)] @1: Harry is kind.[(((triple10) -> rule1))]