Anne is big. Anne is green. Anne is red. Anne is not rough. Anne is round. Dave is big. Dave is furry. Dave is not green. Dave is not nice. Dave is not red. Dave is rough. Dave is not round. Fiona is not big. Fiona is not furry. Fiona is round. Red, big things are not rough. If something is round and not big then it is not rough. If something is round and furry then it is nice.
Dave is not rough.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is not rough.[(triple4 OR ((triple3 triple1) -> rule1))] Anne is red.[(triple3)] Anne is round.[(triple5)] Dave is big.[(triple6)] Dave is furry.[(triple7)] Dave is not green.[(triple8)] Dave is not nice.[(triple9)] Dave is not red.[(triple10)] Dave is not round.[(triple12)] Dave is rough.[(triple11)] Fiona is not big.[(triple13)] Fiona is not furry.[(triple14)] Fiona is round.[(triple15)] @1: Fiona is not rough.[(((triple15 triple13) -> rule2))]