Bob is green. Charlie is cold. Charlie is round. Charlie is young. Erin is nice. Gary is kind. Gary is young. All green things are young.
Erin is cold.
@0: Bob is green.[(triple1)] Charlie is cold.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Erin is nice.[(triple5)] Gary is kind.[(triple6)] Gary is young.[(triple7)] @1: Bob is young.[(((triple1) -> rule1))]