Bob is smart. Erin is cold. Erin is young. If Bob is white and Bob is cold then Bob is kind. Furry things are cold. All furry things are white. All cold, smart things are rough. Young things are smart. If Bob is white then Bob is young.
Erin is smart.
@0: Bob is smart.[(triple1)] Erin is cold.[(triple2)] Erin is young.[(triple3)] @1: Erin is smart.[(((triple3) -> rule5))] @2: Erin is rough.[(((triple2 ((triple3) -> rule5)) -> rule4))]