Anne is not blue. Anne is not furry. Anne is rough. Bob is big. Bob is not red. Bob is rough. Charlie is big. Charlie is red. Harry is nice. Harry is rough. All nice people are blue.
Bob is not blue.
@0: Anne is not blue.[(triple1)] Anne is not furry.[(triple2)] Anne is rough.[(triple3)] Bob is big.[(triple4)] Bob is not red.[(triple5)] Bob is rough.[(triple6)] Charlie is big.[(triple7)] Charlie is red.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10)] @1: Harry is blue.[(((triple9) -> rule1))]