Bob is cold. Erin is young. Harry is red. Cold people are young. If Harry is smart then Harry is cold. All kind people are young. Kind people are smart. If someone is smart then they are cold. All red people are white. Smart, white people are red. Red, smart people are kind.
Bob is not cold.
@0: Bob is cold.[(triple1)] Erin is young.[(triple2)] Harry is red.[(triple3)] @1: Bob is young.[(((triple1) -> rule1))] Harry is white.[(((triple3) -> rule6))]