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