Anne is big. Charlie is big. Charlie is furry. Charlie is green. Charlie is red. Charlie is white. Dave is big. Dave is blue. Dave is red. Dave is round. Dave is white. Fiona is big. Fiona is blue. Fiona is green. Fiona is red. All blue people are red. If someone is furry then they are red. If Anne is big then Anne is round.
Dave is not red.
@0: Anne is big.[(triple1)] Charlie is big.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5 OR ((triple3) -> rule2))] Charlie is white.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is red.[(triple9 OR ((triple8) -> rule1))] Dave is round.[(triple10)] Dave is white.[(triple11)] Fiona is big.[(triple12)] Fiona is blue.[(triple13)] Fiona is green.[(triple14)] Fiona is red.[(triple15 OR ((triple13) -> rule1))] @1: Anne is round.[(((triple1) -> rule3))]