Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is not smart. Bob is young. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is young. If someone is red then they are green.
Bob is not green.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple3) -> rule1))] Bob is not smart.[(triple6)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is young.[(triple7)] Charlie is furry.[(triple8)] Charlie is green.[(triple9 OR ((triple10) -> rule1))] Charlie is red.[(triple10)] Charlie is rough.[(triple11)] Charlie is young.[(triple12)]