Anne is big. Anne is not blue. Anne is not furry. Anne is not nice. Anne is red. Anne is young. Bob is big. Bob is furry. Bob is nice. Harry is big. Nice people are not blue. If someone is blue then they are cold. If someone is blue then they are red. If Anne is cold and Anne is blue then Anne is young. If Bob is cold and Bob is not blue then Bob is red. If someone is cold and not blue then they are big. If someone is young and not big then they are furry. If someone is big and not cold then they are not furry.
Bob is young.
@0: Anne is big.[(triple1)] Anne is not blue.[(triple2)] Anne is not furry.[(triple3)] Anne is not nice.[(triple4)] Anne is red.[(triple5)] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is furry.[(triple8)] Bob is nice.[(triple9)] Harry is big.[(triple10)] @1: Bob is not blue.[(((triple9) -> rule1))]