Anne is big. Anne is nice. Anne is round. Dave is furry. Dave is round. Gary is big. Gary is furry. Gary is nice. Gary is red. Gary is round. Harry is red. Harry is round. All nice, quiet things are rough. All big things are quiet. Rough, quiet things are furry.
Dave is quiet.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Dave is furry.[(triple4)] Dave is round.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7 OR ((((triple8 ((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule3))] Gary is nice.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)] @1: Anne is quiet.[(((triple1) -> rule2))] Gary is quiet.[(((triple6) -> rule2))] @2: Anne is rough.[(((triple2 ((triple1) -> rule2)) -> rule1))] Gary is rough.[(((triple8 ((triple6) -> rule2)) -> rule1))] @3: Anne is furry.[(((((triple2 ((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3))]