Anne is big. Anne is furry. Anne is rough. Anne is smart. Anne is young. Bob is kind. Bob is smart. Bob is young. Dave is rough. Dave is young. If something is big then it is round. All rough, kind things are furry.
Dave is not furry.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Bob is kind.[(triple6)] Bob is smart.[(triple7)] Bob is young.[(triple8)] Dave is rough.[(triple9)] Dave is young.[(triple10)] @1: Anne is round.[(((triple1) -> rule1))]