Charlie is kind. Erin is not furry. Gary is blue. If Charlie is nice and Charlie is furry then Charlie is red. All red things are white. Furry, blue things are white. If something is blue and not nice then it is not white. If Erin is red and Erin is kind then Erin is furry. Furry things are red. Nice, green things are kind. If Charlie is kind then Charlie is furry.
Charlie is furry.
@0: Charlie is kind.[(triple1)] Erin is not furry.[(triple2)] Gary is blue.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule8))] @2: Charlie is red.[(((((triple1) -> rule8)) -> rule6))] @3: Charlie is white.[(((((((triple1) -> rule8)) -> rule6)) -> rule2))]