Bob is quiet. Bob is red. Charlie is furry. Gary is blue. Harry is blue. Harry is quiet. Harry is young. If Charlie is quiet then Charlie is furry. All blue things are round. If something is red and furry then it is quiet. All round, blue things are young. All smart things are young. Young things are blue.
Charlie is not quiet.
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Charlie is furry.[(triple3)] Gary is blue.[(triple4)] Harry is blue.[(triple5 OR ((triple7) -> rule6))] Harry is quiet.[(triple6)] Harry is young.[(triple7 OR ((((triple5) -> rule2) triple5) -> rule4))] @1: Gary is round.[(((triple4) -> rule2))] Harry is round.[(((triple5) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] @2: Gary is young.[(((((triple4) -> rule2) triple4) -> rule4))]