Bob is blue. Bob is cold. Bob is round. If someone is furry and not round then they are smart. If someone is round and cold then they are not smart. If Bob is blue and Bob is not round then Bob is not furry. If someone is round and not nice then they are cold. If Bob is round and Bob is blue then Bob is cold. All cold people are not furry.
Bob is not nice.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple1) -> rule5))] Bob is round.[(triple3)] @1: Bob is not furry.[(((triple2) -> rule6) OR ((((triple3 triple1) -> rule5)) -> rule6))] Bob is not smart.[(((triple3 triple2) -> rule2) OR ((triple3 ((triple3 triple1) -> rule5)) -> rule2))]