Anne is furry. Anne is quiet. Dave is big. Dave is nice. Dave is smart. Harry is smart. Harry is young. Big, quiet people are nice. All quiet people are nice. If someone is nice then they are big. Rough, smart people are big. If someone is young and smart then they are quiet. All nice, smart people are quiet.
Anne is furry.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Dave is big.[(triple3 OR ((triple4) -> rule3))] Dave is nice.[(triple4)] Dave is smart.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)] @1: Anne is nice.[(((triple2) -> rule2))] Dave is quiet.[(((triple4 triple5) -> rule6))] Harry is quiet.[(((triple7 triple6) -> rule5))] @2: Anne is big.[(((((triple2) -> rule2)) -> rule3))] Harry is nice.[(((((triple7 triple6) -> rule5)) -> rule2))] @3: Harry is big.[(((((((triple7 triple6) -> rule5)) -> rule2)) -> rule3))]