Anne is big. Anne is furry. Anne is young. Bob is young. Charlie is nice. Dave is furry. Dave is nice. Dave is quiet. Dave is rough. Dave is young. Young, nice people are rough. If someone is big then they are quiet. All young, quiet people are nice.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is young.[(triple3)] Bob is young.[(triple4)] Charlie is nice.[(triple5)] Dave is furry.[(triple6)] Dave is nice.[(triple7 OR ((triple10 triple8) -> rule3))] Dave is quiet.[(triple8)] Dave is rough.[(triple9 OR ((triple10 triple7) -> rule1) OR ((triple10 ((triple10 triple8) -> rule3)) -> rule1))] Dave is young.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule2))] @2: Anne is nice.[(((triple3 ((triple1) -> rule2)) -> rule3))] @3: Anne is rough.[(((triple3 ((triple3 ((triple1) -> rule2)) -> rule3)) -> rule1))]