Anne is blue. Anne is not green. Bob is big. Erin is kind. Gary is not big. Gary is furry. Gary is red. All kind things are big. If Bob is quiet and Bob is kind then Bob is not furry. If Bob is green and Bob is quiet then Bob is not furry. Furry, big things are quiet. All big things are blue. If something is kind and not red then it is furry.
Erin is not blue.
@0: Anne is blue.[(triple1)] Anne is not green.[(triple2)] Bob is big.[(triple3)] Erin is kind.[(triple4)] Gary is furry.[(triple6)] Gary is not big.[(triple5)] Gary is red.[(triple7)] @1: Bob is blue.[(((triple3) -> rule5))] Erin is big.[(((triple4) -> rule1))] @2: Erin is blue.[(((((triple4) -> rule1)) -> rule5))]