Charlie is kind. Charlie is young. Fiona is quiet. Fiona is round. Harry is kind. Harry is quiet. Harry is smart. If Harry is round and Harry is young then Harry is kind. All smart, kind people are round.
Charlie is kind.
@0: Charlie is kind.[(triple1)] Charlie is young.[(triple2)] Fiona is quiet.[(triple3)] Fiona is round.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is smart.[(triple7)] @1: Harry is round.[(((triple7 triple5) -> rule2))]