Bob is blue. Bob is cold. Bob is not furry. Bob is nice. Bob is red. Bob is not rough. Bob is smart. Cold, blue things are nice. All cold things are nice. If something is rough then it is nice. Smart, furry things are not nice. If something is blue then it is nice. All blue things are red. If something is blue and nice then it is red. If something is furry then it is blue.
Bob is rough.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple4 OR ((triple1) -> rule5) OR ((triple2) -> rule2) OR ((triple2 triple1) -> rule1))] Bob is not furry.[(triple3)] Bob is not rough.[(triple6)] Bob is red.[(triple5 OR ((triple1) -> rule6) OR ((triple1 triple4) -> rule7) OR ((triple1 ((triple1) -> rule5)) -> rule7) OR ((triple1 ((triple2) -> rule2)) -> rule7) OR ((triple1 ((triple2 triple1) -> rule1)) -> rule7))] Bob is smart.[(triple7)]