Bob is green. Bob is kind. Bob is rough. Bob is not round. Bob is not young. Charlie is not furry. Charlie is kind. Charlie is nice. Charlie is not rough. Charlie is not young. If Bob is round then Bob is young. All rough people are kind. If Charlie is green then Charlie is kind. If Bob is kind then Bob is green. If someone is rough then they are not furry. If Charlie is nice and Charlie is not furry then Charlie is round.
Bob is not green.
@0: Bob is green.[(triple1 OR ((triple2) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] Bob is kind.[(triple2 OR ((triple3) -> rule2))] Bob is not round.[(triple4)] Bob is not young.[(triple5)] Bob is rough.[(triple3)] Charlie is kind.[(triple7)] Charlie is nice.[(triple8)] Charlie is not furry.[(triple6)] Charlie is not rough.[(triple9)] Charlie is not young.[(triple10)] @1: Bob is not furry.[(((triple3) -> rule5))] Charlie is round.[(((triple8 triple6) -> rule6))]