Anne is young. Bob is big. Charlie is young. Erin is blue. If someone is blue then they are big. Rough people are nice. If someone is big then they are furry.
Charlie is not green.
@0: Anne is young.[(triple1)] Bob is big.[(triple2)] Charlie is young.[(triple3)] Erin is blue.[(triple4)] @1: Bob is furry.[(((triple2) -> rule3))] Erin is big.[(((triple4) -> rule1))] @2: Erin is furry.[(((((triple4) -> rule1)) -> rule3))]