Anne is young. Charlie is not young. Dave is red. Erin is big. All furry, white things are nice. If something is red then it is nice. If something is kind then it is big. All white things are kind. Nice things are furry. All big things are red.
Anne is not kind.
@0: Anne is young.[(triple1)] Charlie is not young.[(triple2)] Dave is red.[(triple3)] Erin is big.[(triple4)] @1: Dave is nice.[(((triple3) -> rule2))] Erin is red.[(((triple4) -> rule6))] @2: Dave is furry.[(((((triple3) -> rule2)) -> rule5))] Erin is nice.[(((((triple4) -> rule6)) -> rule2))] @3: Erin is furry.[(((((((triple4) -> rule6)) -> rule2)) -> rule5))]