Bob is quiet. Erin is green. If someone is quiet then they are rough. If Erin is rough and Erin is green then Erin is cold. Rough people are cold. All cold people are white. If Bob is young then Bob is round. Quiet people are round.
Erin is rough.
@0: Bob is quiet.[(triple1)] Erin is green.[(triple2)] @1: Bob is rough.[(((triple1) -> rule1))] Bob is round.[(((triple1) -> rule6))] @2: Bob is cold.[(((((triple1) -> rule1)) -> rule3))] @3: Bob is white.[(((((((triple1) -> rule1)) -> rule3)) -> rule4))]