Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is young. Charlie is blue. Charlie is not furry. Charlie is not green. Charlie is quiet. Charlie is not rough. If someone is quiet and rough then they are young. If someone is quiet and not green then they are young. All furry people are not round. Furry people are rough. If Charlie is green then Charlie is blue. Green, round people are not blue.
Charlie is green.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is young.[(triple5 OR ((triple4 ((triple2) -> rule4)) -> rule1))] Charlie is blue.[(triple6)] Charlie is not furry.[(triple7)] Charlie is not green.[(triple8)] Charlie is not rough.[(triple10)] Charlie is quiet.[(triple9)] @1: Bob is not round.[(((triple2) -> rule3))] Bob is rough.[(((triple2) -> rule4))] Charlie is young.[(((triple9 triple8) -> rule2))]