Anne is green. Anne is kind. Anne is rough. Bob is big. Bob is green. Bob is rough. Bob is white. Gary is not big. Gary is not kind. Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is white. If something is big then it is green. Furry things are rough. If something is big and not green then it is furry. If Bob is furry and Bob is rough then Bob is not white. If Anne is red and Anne is not rough then Anne is kind. If Anne is furry and Anne is green then Anne is not red. If Anne is kind and Anne is not green then Anne is not red. If something is green and not furry then it is not white.
Anne is not furry.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Bob is big.[(triple4)] Bob is green.[(triple5 OR ((triple4) -> rule1))] Bob is rough.[(triple6)] Bob is white.[(triple7)] Gary is not big.[(triple8)] Gary is not kind.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12 OR ((triple10) -> rule1))] Harry is kind.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15 OR ((triple11) -> rule2))] Harry is white.[(triple16)]