Charlie is kind. Charlie is quiet. Charlie is round. Dave is quiet. Erin is blue. Erin is round. Erin is young. If Erin is young and Erin is kind then Erin is quiet. If Charlie is quiet then Charlie is furry.
Dave is quiet.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3)] Dave is quiet.[(triple4)] Erin is blue.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)] @1: Charlie is furry.[(((triple2) -> rule2))]