Bob is not furry. Bob is round. Bob is young. Charlie is furry. Charlie is green. Charlie is not rough. Charlie is not round. Charlie is young. Gary is green. Gary is not quiet. Gary is round. Gary is young. Quiet, rough things are green. Young things are green. If Gary is smart then Gary is young. All young, quiet things are smart. If Gary is green then Gary is not rough. If something is furry then it is quiet.
Charlie is round.
@0: Bob is not furry.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5 OR ((triple8) -> rule2))] Charlie is not rough.[(triple6)] Charlie is not round.[(triple7)] Charlie is young.[(triple8)] Gary is green.[(triple9 OR ((triple12) -> rule2))] Gary is not quiet.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Bob is green.[(((triple3) -> rule2))] Charlie is quiet.[(((triple4) -> rule6))] Gary is not rough.[(((triple9) -> rule5) OR ((((triple12) -> rule2)) -> rule5))] @2: Charlie is smart.[(((triple8 ((triple4) -> rule6)) -> rule4))]