Bob is big. Bob is furry. Bob is green. Bob is not kind. Bob is nice. Bob is not red. Bob is young. Charlie is big. Charlie is furry. Charlie is not green. Charlie is kind. Charlie is not nice. Charlie is red. Charlie is young. Green, furry things are nice. If something is kind and not green then it is furry. If Charlie is nice then Charlie is big.
Charlie is furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple5 OR ((triple3 triple2) -> rule1))] Bob is not kind.[(triple4)] Bob is not red.[(triple6)] Bob is young.[(triple7)] Charlie is big.[(triple8)] Charlie is furry.[(triple9 OR ((triple11 triple10) -> rule2))] Charlie is kind.[(triple11)] Charlie is not green.[(triple10)] Charlie is not nice.[(triple12)] Charlie is red.[(triple13)] Charlie is young.[(triple14)]