Charlie is big. Charlie is furry. Charlie is red. Charlie is rough. Charlie is white. Dave is big. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Erin is big. Erin is furry. Erin is nice. Erin is not quiet. If Erin is big and Erin is not nice then Erin is not rough. If Erin is nice then Erin is rough. All big, furry things are rough.
Dave is not furry.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4 OR ((triple1 triple2) -> rule3))] Charlie is white.[(triple5)] Dave is big.[(triple6)] Dave is furry.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is rough.[(triple11 OR ((triple6 triple7) -> rule3))] Erin is big.[(triple12)] Erin is furry.[(triple13)] Erin is nice.[(triple14)] Erin is not quiet.[(triple15)] @1: Erin is rough.[(((triple14) -> rule2) OR ((triple12 triple13) -> rule3))]