Dave is big. Dave is green. Dave is white. If Dave is rough then Dave is furry. If someone is nice and green then they are furry. White, furry people are nice. All rough people are green. If someone is furry and cold then they are rough. If someone is big and white then they are rough. All cold people are big. All furry people are big.
Dave is not nice.
@0: Dave is big.[(triple1)] Dave is green.[(triple2 OR ((((triple1 triple3) -> rule6)) -> rule4))] Dave is white.[(triple3)] @1: Dave is rough.[(((triple1 triple3) -> rule6))] @2: Dave is furry.[(((((triple1 triple3) -> rule6)) -> rule1))] @3: Dave is nice.[(((triple3 ((((triple1 triple3) -> rule6)) -> rule1)) -> rule3))]