Anne is white. Bob is red. Fiona is red. Harry is white. All red people are smart. If someone is cold then they are round. Young people are white.
Bob is not red.
@0: Anne is white.[(triple1)] Bob is red.[(triple2)] Fiona is red.[(triple3)] Harry is white.[(triple4)] @1: Bob is smart.[(((triple2) -> rule1))] Fiona is smart.[(((triple3) -> rule1))]