Bob is smart. Erin is cold. Erin is young. All smart things are rough. If something is smart and round then it is big. Round things are big. All rough things are young. If something is smart then it is red. All red, rough things are round.
Bob is not smart.
@0: Bob is smart.[(triple1)] Erin is cold.[(triple2)] Erin is young.[(triple3)] @1: Bob is red.[(((triple1) -> rule5))] Bob is rough.[(((triple1) -> rule1))] @2: Bob is round.[(((((triple1) -> rule5) ((triple1) -> rule1)) -> rule6))] Bob is young.[(((((triple1) -> rule1)) -> rule4))] @3: Bob is big.[(((((((triple1) -> rule5) ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((triple1 ((((triple1) -> rule5) ((triple1) -> rule1)) -> rule6)) -> rule2))]