Bob is kind. Charlie is kind. Charlie is smart. Erin is nice. Harry is kind. Harry is nice. Harry is red. If something is nice then it is red. If Bob is red then Bob is cold.
Bob is not cold.
@0: Bob is kind.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3)] Erin is nice.[(triple4)] Harry is kind.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7 OR ((triple6) -> rule1))] @1: Erin is red.[(((triple4) -> rule1))]