Charlie is kind. Erin is furry. If someone is kind and quiet then they are furry. If someone is red then they are blue. If someone is furry then they are kind. If someone is kind then they are quiet. If someone is quiet and kind then they are big. Kind, blue people are furry.
Charlie is not red.
@0: Charlie is kind.[(triple1)] Erin is furry.[(triple2)] @1: Charlie is quiet.[(((triple1) -> rule4))] Erin is kind.[(((triple2) -> rule3))] @2: Charlie is big.[(((((triple1) -> rule4) triple1) -> rule5))] Charlie is furry.[(((triple1 ((triple1) -> rule4)) -> rule1))] Erin is quiet.[(((((triple2) -> rule3)) -> rule4))] @3: Erin is big.[(((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule5))]