Bob is furry. Bob is nice. Bob is rough. Kind, nice people are white. Nice, young people are white. All kind people are nice. Furry people are nice. If someone is young and furry then they are not blue. Nice, kind people are not blue. If someone is rough and furry then they are blue. If Bob is rough then Bob is nice.
Bob is kind.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2 OR ((triple1) -> rule4) OR ((triple3) -> rule8))] Bob is rough.[(triple3)] @1: Bob is blue.[(((triple3 triple1) -> rule7))]