Bob is rough. Erin is smart. Erin is young. All rough people are white. Cold people are white. If someone is white then they are cold. If Bob is white and Bob is young then Bob is not cold. If someone is smart and young then they are rough. If someone is cold and big then they are smart.
Bob is big.
@0: Bob is rough.[(triple1)] Erin is smart.[(triple2)] Erin is young.[(triple3)] @1: Bob is white.[(((triple1) -> rule1))] Erin is rough.[(((triple2 triple3) -> rule5))] @2: Bob is cold.[(((((triple1) -> rule1)) -> rule3))] Erin is white.[(((((triple2 triple3) -> rule5)) -> rule1))] @3: Erin is cold.[(((((((triple2 triple3) -> rule5)) -> rule1)) -> rule3))]