Dave is kind. Erin is rough. Fiona is quiet. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. If someone is smart then they are blue. If someone is furry and kind then they are quiet.
Harry is smart.
@0: Dave is kind.[(triple1)] Erin is rough.[(triple2)] Fiona is quiet.[(triple3)] Harry is kind.[(triple4)] Harry is quiet.[(triple5)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Harry is blue.[(((triple7) -> rule1))]