Bob is cold. Erin is big. Gary is cold. Harry is big. If someone is rough then they are not nice. If someone is big then they are rough.
Bob is not rough.
@0: Bob is cold.[(triple1)] Erin is big.[(triple2)] Gary is cold.[(triple3)] Harry is big.[(triple4)] @1: Erin is rough.[(((triple2) -> rule2))] Harry is rough.[(((triple4) -> rule2))] @2: Erin is not nice.[(((((triple2) -> rule2)) -> rule1))] Harry is not nice.[(((((triple4) -> rule2)) -> rule1))]