Anne is big. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Anne is round. Anne is smart. Dave is kind. Dave is red. Dave is smart. Erin is furry. Erin is smart. Harry is quiet. Harry is red. Harry is round. All quiet things are kind. All round things are kind.
Dave is not smart.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple4) -> rule1) OR ((triple6) -> rule2))] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7)] Dave is kind.[(triple8)] Dave is red.[(triple9)] Dave is smart.[(triple10)] Erin is furry.[(triple11)] Erin is smart.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] @1: Harry is kind.[(((triple13) -> rule1) OR ((triple15) -> rule2))]