Anne is nice. Anne is smart. Dave is big. Dave is not smart. Harry is big. Harry is cold. Harry is green. Harry is quiet. Harry is round. Harry is smart. If Anne is nice then Anne is quiet.
Anne is round.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Dave is big.[(triple3)] Dave is not smart.[(triple4)] Harry is big.[(triple5)] Harry is cold.[(triple6)] Harry is green.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule1))]