Anne is green. Anne is nice. Anne is quiet. Dave is big. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is white. If Anne is quiet then Anne is big. Kind, quiet things are nice. All round, quiet things are white. If something is round and big then it is nice. If Dave is green then Dave is white. Quiet things are nice.
Anne is kind.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule6))] Anne is quiet.[(triple3)] Dave is big.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7 OR ((triple8) -> rule6) OR ((triple6 triple8) -> rule2) OR ((triple9 triple4) -> rule4))] Dave is quiet.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10 OR ((triple5) -> rule5) OR ((triple9 triple8) -> rule3))] @1: Anne is big.[(((triple3) -> rule1))]