Charlie is rough. Erin is furry. Fiona is white. Gary is rough. Rough things are young. Kind, young things are rough. If Erin is white then Erin is smart. If something is kind and not rough then it is not white. All young, furry things are white. Rough, smart things are white. Young, rough things are smart. Furry, white things are smart.
Gary is not smart.
@0: Charlie is rough.[(triple1)] Erin is furry.[(triple2)] Fiona is white.[(triple3)] Gary is rough.[(triple4)] @1: Charlie is young.[(((triple1) -> rule1))] Gary is young.[(((triple4) -> rule1))] @2: Charlie is smart.[(((((triple1) -> rule1) triple1) -> rule7))] Gary is smart.[(((((triple4) -> rule1) triple4) -> rule7))] @3: Charlie is white.[(((triple1 ((((triple1) -> rule1) triple1) -> rule7)) -> rule6))] Gary is white.[(((triple4 ((((triple4) -> rule1) triple4) -> rule7)) -> rule6))]