Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is white. Bob is young. If someone is young then they are red. If someone is kind and red then they are rough.
Bob is not green.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3 OR ((triple7) -> rule1))] Bob is rough.[(triple4 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple7) -> rule1)) -> rule2))] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)]