Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is not nice. Bob is rough. If something is blue and not kind then it is furry. If Bob is furry then Bob is green. Furry things are not nice. If something is furry and rough then it is green. If something is cold and not furry then it is green. If something is kind then it is green. All green things are rough. If Bob is cold and Bob is not green then Bob is nice.
Bob is not cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple3) -> rule2) OR ((triple5) -> rule6) OR ((triple3 triple7) -> rule4))] Bob is kind.[(triple5)] Bob is not nice.[(triple6 OR ((triple3) -> rule3))] Bob is rough.[(triple7 OR ((triple4) -> rule7) OR ((((triple3) -> rule2)) -> rule7) OR ((((triple5) -> rule6)) -> rule7))]