Bob is smart. Charlie is nice. Dave is red. Harry is cold. If someone is smart then they are red.
Bob is nice.
@0: Bob is smart.[(triple1)] Charlie is nice.[(triple2)] Dave is red.[(triple3)] Harry is cold.[(triple4)] @1: Bob is red.[(((triple1) -> rule1))]