Bob is blue. Bob is green. Bob is rough. If someone is white then they are red. If Bob is rough then Bob is white. If someone is red and smart then they are kind. If someone is smart and not rough then they are kind. Rough people are blue. All rough, smart people are green. If someone is blue and not rough then they are white. If Bob is green and Bob is red then Bob is smart.
Bob is not blue.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule5))] Bob is green.[(triple2)] Bob is rough.[(triple3)] @1: Bob is white.[(((triple3) -> rule2))] @2: Bob is red.[(((((triple3) -> rule2)) -> rule1))] @3: Bob is smart.[(((triple2 ((((triple3) -> rule2)) -> rule1)) -> rule8))] @4: Bob is kind.[(((((((triple3) -> rule2)) -> rule1) ((triple2 ((((triple3) -> rule2)) -> rule1)) -> rule8)) -> rule3))]