Dave is cold. Erin is big. All cold people are big. If someone is young then they are cold. Blue, rough people are young. All big people are cold. If someone is big then they are rough. If someone is cold then they are kind.
Dave is rough.
@0: Dave is cold.[(triple1)] Erin is big.[(triple2)] @1: Dave is big.[(((triple1) -> rule1))] Dave is kind.[(((triple1) -> rule6))] Erin is cold.[(((triple2) -> rule4))] Erin is rough.[(((triple2) -> rule5))] @2: Dave is rough.[(((((triple1) -> rule1)) -> rule5))] Erin is kind.[(((((triple2) -> rule4)) -> rule6))]