Anne is furry. Anne is nice. Charlie is big. Charlie is furry. Charlie is round. Charlie is white. Dave is big. Dave is furry. Dave is nice. Dave is rough. Dave is round. Erin is big. Erin is furry. Erin is nice. Erin is rough. Erin is white. If someone is rough then they are big. Nice, white people are round. All quiet, furry people are rough.
Erin is furry.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Charlie is big.[(triple3)] Charlie is furry.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Dave is big.[(triple7 OR ((triple10) -> rule1))] Dave is furry.[(triple8)] Dave is nice.[(triple9)] Dave is rough.[(triple10)] Dave is round.[(triple11)] Erin is big.[(triple12 OR ((triple15) -> rule1))] Erin is furry.[(triple13)] Erin is nice.[(triple14)] Erin is rough.[(triple15)] Erin is white.[(triple16)] @1: Erin is round.[(((triple14 triple16) -> rule2))]