Bob is blue. Charlie is quiet. Gary is young. Harry is quiet. All blue, big people are smart. If someone is round then they are smart. All round people are young. If someone is quiet and not blue then they are round. All quiet, big people are round. Quiet people are big.
Harry is not quiet.
@0: Bob is blue.[(triple1)] Charlie is quiet.[(triple2)] Gary is young.[(triple3)] Harry is quiet.[(triple4)] @1: Charlie is big.[(((triple2) -> rule6))] Harry is big.[(((triple4) -> rule6))] @2: Charlie is round.[(((triple2 ((triple2) -> rule6)) -> rule5))] Harry is round.[(((triple4 ((triple4) -> rule6)) -> rule5))] @3: Charlie is smart.[(((((triple2 ((triple2) -> rule6)) -> rule5)) -> rule2))] Charlie is young.[(((((triple2 ((triple2) -> rule6)) -> rule5)) -> rule3))] Harry is smart.[(((((triple4 ((triple4) -> rule6)) -> rule5)) -> rule2))] Harry is young.[(((((triple4 ((triple4) -> rule6)) -> rule5)) -> rule3))]