Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is round. Bob is young. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is young. All round things are furry. If something is red and quiet then it is furry. All rough things are furry.
Bob is rough.
@0: Bob is furry.[(triple1 OR ((triple5) -> rule3) OR ((triple6) -> rule1) OR ((triple4 triple3) -> rule2))] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Dave is furry.[(triple8 OR ((triple12) -> rule3) OR ((triple13) -> rule1) OR ((triple11 triple10) -> rule2))] Dave is kind.[(triple9)] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is rough.[(triple12)] Dave is round.[(triple13)] Dave is young.[(triple14)]