Bob is kind. Bob is nice. Bob is rough. Bob is round. Bob is not smart. Dave is furry. Dave is kind. Dave is nice. Dave is rough. Dave is round. Harry is rough. Harry is smart. If Harry is not rough then Harry is not cold. If something is furry then it is kind. All smart things are not furry. If something is kind and not rough then it is not furry. All smart, furry things are round. Rough things are round. If something is round and not smart then it is cold. If Harry is not round then Harry is not nice.
Bob is furry.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is not smart.[(triple5)] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple3) -> rule6))] Dave is furry.[(triple6)] Dave is kind.[(triple7 OR ((triple6) -> rule2))] Dave is nice.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10 OR ((triple9) -> rule6))] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Bob is cold.[(((triple4 triple5) -> rule7) OR ((((triple3) -> rule6) triple5) -> rule7))] Harry is not furry.[(((triple12) -> rule3))] Harry is round.[(((triple11) -> rule6))]