Bob is big. Charlie is furry. Erin is big. Gary is young. Young, furry things are smart. Blue things are not smart. If something is green then it is young. If something is rough and furry then it is not young. If something is young and green then it is big. Smart things are big. If something is young then it is not rough. If something is young then it is furry.
Gary is rough.
@0: Bob is big.[(triple1)] Charlie is furry.[(triple2)] Erin is big.[(triple3)] Gary is young.[(triple4)] @1: Gary is furry.[(((triple4) -> rule8))] Gary is not rough.[(((triple4) -> rule7))] @2: Gary is smart.[(((triple4 ((triple4) -> rule8)) -> rule1))] @3: Gary is big.[(((((triple4 ((triple4) -> rule8)) -> rule1)) -> rule6))]