Charlie is furry. Charlie is red. Erin is not kind. Erin is smart. Gary is kind. Gary is red. Gary is young. White things are furry. If something is young then it is furry. Red, blue things are young. All smart, white things are young. All young, furry things are smart. All furry things are blue.
Erin is not furry.
@0: Charlie is furry.[(triple1)] Charlie is red.[(triple2)] Erin is not kind.[(triple3)] Erin is smart.[(triple4)] Gary is kind.[(triple5)] Gary is red.[(triple6)] Gary is young.[(triple7)] @1: Charlie is blue.[(((triple1) -> rule6))] Gary is furry.[(((triple7) -> rule2))] @2: Charlie is young.[(((triple2 ((triple1) -> rule6)) -> rule3))] Gary is blue.[(((((triple7) -> rule2)) -> rule6))] Gary is smart.[(((triple7 ((triple7) -> rule2)) -> rule5))] @3: Charlie is smart.[(((((triple2 ((triple1) -> rule6)) -> rule3) triple1) -> rule5))]