Bob is big. Dave is cold. Erin is big. If something is smart then it is rough. All young things are big. All cold, smart things are rough. If Erin is big then Erin is smart. All big, smart things are cold. If Dave is blue then Dave is cold.
Bob is kind.
@0: Bob is big.[(triple1)] Dave is cold.[(triple2)] Erin is big.[(triple3)] @1: Erin is smart.[(((triple3) -> rule4))] @2: Erin is cold.[(((triple3 ((triple3) -> rule4)) -> rule5))] Erin is rough.[(((((triple3) -> rule4)) -> rule1) OR ((((triple3 ((triple3) -> rule4)) -> rule5) ((triple3) -> rule4)) -> rule3))]