Bob is blue. Bob is green. Bob is rough. Erin is big. Erin is blue. Erin is furry. Erin is young. Rough, furry things are nice. All rough things are furry. Blue, nice things are young.
Erin is rough.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is rough.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is young.[(triple7)] @1: Bob is furry.[(((triple3) -> rule2))] @2: Bob is nice.[(((triple3 ((triple3) -> rule2)) -> rule1))] @3: Bob is young.[(((triple1 ((triple3 ((triple3) -> rule2)) -> rule1)) -> rule3))]