Bob is blue. Bob is cold. Bob is not furry. Bob is not red. Bob is not rough. Bob is round. Bob is smart. Dave is blue. Dave is cold. Dave is red. Dave is not round. Dave is smart. If Dave is furry then Dave is not cold. If something is round then it is cold. If Dave is round then Dave is not rough. If something is smart and not round then it is red. If something is red and smart then it is blue. If Dave is rough and Dave is smart then Dave is furry.
Bob is rough.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple6) -> rule2))] Bob is not furry.[(triple3)] Bob is not red.[(triple4)] Bob is not rough.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Dave is blue.[(triple8 OR ((triple10 triple12) -> rule5) OR ((((triple12 triple11) -> rule4) triple12) -> rule5))] Dave is cold.[(triple9)] Dave is not round.[(triple11)] Dave is red.[(triple10 OR ((triple12 triple11) -> rule4))] Dave is smart.[(triple12)]