Bob is furry. Charlie is not blue. Dave is round. Gary is not blue. Round people are kind. All kind people are young. If someone is round and white then they are not young.
Charlie is blue.
@0: Bob is furry.[(triple1)] Charlie is not blue.[(triple2)] Dave is round.[(triple3)] Gary is not blue.[(triple4)] @1: Dave is kind.[(((triple3) -> rule1))] @2: Dave is young.[(((((triple3) -> rule1)) -> rule2))]