Bob is red. Rough people are round. If someone is round then they are kind. If Bob is young then Bob is red. If Bob is green then Bob is round. If someone is green then they are rough. If Bob is red then Bob is green.
Bob is not green.
@0: Bob is red.[(triple1)] @1: Bob is green.[(((triple1) -> rule6))] @2: Bob is rough.[(((((triple1) -> rule6)) -> rule5))] Bob is round.[(((((triple1) -> rule6)) -> rule4) OR ((((((triple1) -> rule6)) -> rule5)) -> rule1))] @3: Bob is kind.[(((((((triple1) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule2))]