Bob is kind. Erin is big. Harry is not kind. Kind, nice people are smart. If Bob is blue and Bob is smart then Bob is cold. All kind people are nice. If someone is smart then they are big. If Harry is kind and Harry is blue then Harry is smart. If Erin is smart and Erin is not big then Erin is round.
Erin is not cold.
@0: Bob is kind.[(triple1)] Erin is big.[(triple2)] Harry is not kind.[(triple3)] @1: Bob is nice.[(((triple1) -> rule3))] @2: Bob is smart.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: Bob is big.[(((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule4))]