Bob is cold. Dave is smart. Erin is smart. If something is smart then it is rough. Smart, quiet things are white. If something is smart then it is big. All rough things are cold. If Dave is quiet and Dave is young then Dave is white. Cold things are young.
Erin is young.
@0: Bob is cold.[(triple1)] Dave is smart.[(triple2)] Erin is smart.[(triple3)] @1: Bob is young.[(((triple1) -> rule6))] Dave is big.[(((triple2) -> rule3))] Dave is rough.[(((triple2) -> rule1))] Erin is big.[(((triple3) -> rule3))] Erin is rough.[(((triple3) -> rule1))] @2: Dave is cold.[(((((triple2) -> rule1)) -> rule4))] Erin is cold.[(((((triple3) -> rule1)) -> rule4))] @3: Dave is young.[(((((((triple2) -> rule1)) -> rule4)) -> rule6))] Erin is young.[(((((((triple3) -> rule1)) -> rule4)) -> rule6))]