Anne is red. Anne is rough. Anne is round. Anne is young. Bob is big. Bob is kind. Bob is red. Bob is round. Bob is young. Charlie is big. Dave is kind. Dave is rough. All big people are rough.
Bob is not big.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is kind.[(triple6)] Bob is red.[(triple7)] Bob is round.[(triple8)] Bob is young.[(triple9)] Charlie is big.[(triple10)] Dave is kind.[(triple11)] Dave is rough.[(triple12)] @1: Bob is rough.[(((triple5) -> rule1))] Charlie is rough.[(((triple10) -> rule1))]