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