Anne is furry. Anne is green. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Dave is round. All round, green people are quiet. If Anne is big and Anne is furry then Anne is green. If Anne is big then Anne is furry.
Anne is smart.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6 OR ((triple7 triple5) -> rule1))] Dave is round.[(triple7)]