Anne is red. Anne is young. Bob is nice. If someone is nice then they are young. Cold, blue people are white. If Anne is white then Anne is nice. Cold people are nice. If Bob is blue then Bob is red. If someone is red and cold then they are nice. If Anne is white and Anne is young then Anne is big. If Anne is red and Anne is cold then Anne is blue.
Anne is not nice.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Bob is nice.[(triple3)] @1: Bob is young.[(((triple3) -> rule1))]