Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is white. Dave is furry. Dave is kind. Dave is not rough. Dave is white. Erin is green. Erin is rough. Erin is not white. Harry is furry. Harry is nice. Harry is rough. Harry is white. If someone is green then they are kind. All big, white people are not furry. White, green people are nice. Furry, white people are nice. All furry people are nice. If Dave is green and Dave is rough then Dave is nice. If Anne is nice then Anne is kind. If Harry is kind and Harry is big then Harry is green.
Dave is big.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule1) OR ((triple4) -> rule7) OR ((((triple1) -> rule5)) -> rule7) OR ((((triple1 triple5) -> rule4)) -> rule7) OR ((((triple5 triple2) -> rule3)) -> rule7))] Anne is nice.[(triple4 OR ((triple1) -> rule5) OR ((triple1 triple5) -> rule4) OR ((triple5 triple2) -> rule3))] Anne is white.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is not rough.[(triple8)] Dave is white.[(triple9)] Erin is green.[(triple10)] Erin is not white.[(triple12)] Erin is rough.[(triple11)] Harry is furry.[(triple13)] Harry is nice.[(triple14 OR ((triple13) -> rule5) OR ((triple13 triple16) -> rule4))] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Dave is nice.[(((triple6) -> rule5) OR ((triple6 triple9) -> rule4))] Erin is kind.[(((triple10) -> rule1))]