Bob is big. Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is round. Bob is not smart. Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is smart. If something is nice then it is kind. If something is round and smart then it is kind. If something is kind and not round then it is nice. Kind things are furry. If something is smart and not nice then it is furry. All big things are furry. All kind, nice things are furry. All quiet things are furry.
Dave is quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule6) OR ((triple3) -> rule4) OR ((triple5) -> rule8) OR ((triple3 triple4) -> rule7) OR ((((triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule1) triple4) -> rule7))] Bob is kind.[(triple3 OR ((triple4) -> rule1))] Bob is nice.[(triple4)] Bob is not smart.[(triple7)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Dave is big.[(triple8)] Dave is furry.[(triple9 OR ((triple10) -> rule4) OR ((triple12) -> rule8) OR ((triple8) -> rule6) OR ((triple10 triple11) -> rule7) OR ((((triple11) -> rule1)) -> rule4) OR ((((triple13 triple14) -> rule2)) -> rule4) OR ((((triple11) -> rule1) triple11) -> rule7) OR ((((triple13 triple14) -> rule2) triple11) -> rule7))] Dave is kind.[(triple10 OR ((triple11) -> rule1) OR ((triple13 triple14) -> rule2))] Dave is nice.[(triple11)] Dave is quiet.[(triple12)] Dave is round.[(triple13)] Dave is smart.[(triple14)]