Bob is big. Erin is kind. Gary is kind. If someone is blue then they are not smart. Kind people are cold.
Erin is not smart.
@0: Bob is big.[(triple1)] Erin is kind.[(triple2)] Gary is kind.[(triple3)] @1: Erin is cold.[(((triple2) -> rule2))] Gary is cold.[(((triple3) -> rule2))]