Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is round. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is red. Dave is round. Big, blue things are cold. Blue, round things are green. Round things are big.
Anne is round.
@0: Anne is big.[(triple1 OR ((triple7) -> rule3))] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple1 triple2) -> rule1) OR ((((triple7) -> rule3) triple2) -> rule1))] Anne is furry.[(triple4)] Anne is green.[(triple5 OR ((triple2 triple7) -> rule2))] Anne is red.[(triple6)] Anne is round.[(triple7)] Dave is big.[(triple8 OR ((triple14) -> rule3))] Dave is blue.[(triple9)] Dave is cold.[(triple10 OR ((triple8 triple9) -> rule1) OR ((((triple14) -> rule3) triple9) -> rule1))] Dave is furry.[(triple11)] Dave is green.[(triple12 OR ((triple9 triple14) -> rule2))] Dave is red.[(triple13)] Dave is round.[(triple14)]