Bob is kind. Bob is smart. Erin is young. All young, round people are nice. Smart people are cold. Round people are cold. All nice, round people are smart. Cold, round people are blue. If Erin is blue and Erin is smart then Erin is young.
Erin is not young.
@0: Bob is kind.[(triple1)] Bob is smart.[(triple2)] Erin is young.[(triple3)] @1: Bob is cold.[(((triple2) -> rule2))]