Anne is furry. Anne is nice. Anne is young. Bob is blue. Bob is young. Harry is nice. Harry is rough. All nice, red people are blue. If Bob is young and Bob is blue then Bob is rough. If someone is kind and nice then they are young.
Bob is furry.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Bob is blue.[(triple4)] Bob is young.[(triple5)] Harry is nice.[(triple6)] Harry is rough.[(triple7)] @1: Bob is rough.[(((triple5 triple4) -> rule2))]