Bob is young. Charlie is blue. Erin is not rough. Gary is blue. All blue things are big. Green things are furry. If something is big then it is young. All furry, blue things are not young. If Charlie is big then Charlie is blue. If something is blue and not furry then it is not red.
Erin is not rough.
@0: Bob is young.[(triple1)] Charlie is blue.[(triple2)] Erin is not rough.[(triple3)] Gary is blue.[(triple4)] @1: Charlie is big.[(((triple2) -> rule1))] Gary is big.[(((triple4) -> rule1))] @2: Charlie is young.[(((((triple2) -> rule1)) -> rule3))] Gary is young.[(((((triple4) -> rule1)) -> rule3))]