Bob is nice. Bob is young. Dave is cold. Dave is kind. Dave is nice. Gary is cold. Gary is nice. Harry is kind. Harry is nice. Harry is red. If something is blue then it is red. If Gary is cold and Gary is nice then Gary is blue. Red things are young.
Dave is not red.
@0: Bob is nice.[(triple1)] Bob is young.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Gary is cold.[(triple6)] Gary is nice.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] @1: Gary is blue.[(((triple6 triple7) -> rule2))] Harry is young.[(((triple10) -> rule3))] @2: Gary is red.[(((((triple6 triple7) -> rule2)) -> rule1))] @3: Gary is young.[(((((((triple6 triple7) -> rule2)) -> rule1)) -> rule3))]