Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is smart. Dave is young. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is smart. Harry is young. If someone is smart then they are cold. Blue, quiet people are furry. If Dave is smart then Dave is quiet.
Harry is furry.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple6) -> rule1))] Dave is furry.[(triple3 OR ((triple1 triple5) -> rule2) OR ((triple1 ((triple6) -> rule3)) -> rule2))] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple6) -> rule3))] Dave is smart.[(triple6)] Dave is young.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple13) -> rule1))] Harry is furry.[(triple10 OR ((triple8 triple12) -> rule2))] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]