Charlie is blue. Erin is blue. Erin is quiet. Erin is red. Harry is rough. Harry is round. Harry is smart. If something is blue and red then it is round.
Harry is smart.
@0: Charlie is blue.[(triple1)] Erin is blue.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)] @1: Erin is round.[(((triple2 triple4) -> rule1))]