Bob is smart. Charlie is green. Erin is young. Gary is round. All green, round things are quiet. All green things are kind. If something is quiet then it is round.
Bob is young.
@0: Bob is smart.[(triple1)] Charlie is green.[(triple2)] Erin is young.[(triple3)] Gary is round.[(triple4)] @1: Charlie is kind.[(((triple2) -> rule2))]