Bob is furry. Bob is not kind. Bob is nice. Bob is not red. Charlie is not blue. Charlie is cold. Charlie is nice. All cold, red people are furry. Furry people are blue. All kind people are blue. If Bob is red and Bob is not furry then Bob is not nice. If someone is kind and nice then they are rough. Nice, blue people are rough.
Bob is blue.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple3)] Bob is not kind.[(triple2)] Bob is not red.[(triple4)] Charlie is cold.[(triple6)] Charlie is nice.[(triple7)] Charlie is not blue.[(triple5)] @1: Bob is blue.[(((triple1) -> rule2))] @2: Bob is rough.[(((triple3 ((triple1) -> rule2)) -> rule6))]