Anne is furry. Anne is green. Anne is red. Anne is rough. Anne is white. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is round. Dave is white. Nice, furry things are green.
Anne is rough.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Charlie is green.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Dave is furry.[(triple10)] Dave is green.[(triple11 OR ((triple12 triple10) -> rule1))] Dave is nice.[(triple12)] Dave is red.[(triple13)] Dave is round.[(triple14)] Dave is white.[(triple15)]