Charlie is quiet. Dave is furry. Erin is kind. If someone is round and kind then they are furry. If someone is young and round then they are white. If someone is quiet then they are furry.
Charlie is blue.
@0: Charlie is quiet.[(triple1)] Dave is furry.[(triple2)] Erin is kind.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule3))]