Bob is young. Charlie is round. Erin is green. Harry is red. All green things are not round. Blue things are young. If something is green and not round then it is blue. All blue things are quiet. If something is round and not young then it is quiet. If something is round and not blue then it is furry.
Harry is furry.
@0: Bob is young.[(triple1)] Charlie is round.[(triple2)] Erin is green.[(triple3)] Harry is red.[(triple4)] @1: Erin is not round.[(((triple3) -> rule1))] @2: Erin is blue.[(((triple3 ((triple3) -> rule1)) -> rule3))] @3: Erin is quiet.[(((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule4))] Erin is young.[(((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2))]