Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is white. Bob is young. Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is white. Charlie is young. Young, nice people are white. All green people are big. If Bob is big then Bob is green. Big, white people are green. All blue, nice people are young. If Bob is furry and Bob is white then Bob is blue.
Charlie is not green.
@0: Bob is big.[(triple1 OR ((triple4) -> rule2))] Bob is blue.[(triple2 OR ((triple3 triple6) -> rule6) OR ((triple3 ((triple7 triple5) -> rule1)) -> rule6))] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple1) -> rule3) OR ((triple1 triple6) -> rule4) OR ((triple1 ((triple7 triple5) -> rule1)) -> rule4) OR ((triple1 ((((triple2 triple5) -> rule5) triple5) -> rule1)) -> rule4))] Bob is nice.[(triple5)] Bob is white.[(triple6 OR ((triple7 triple5) -> rule1) OR ((((triple2 triple5) -> rule5) triple5) -> rule1))] Bob is young.[(triple7 OR ((triple2 triple5) -> rule5) OR ((((triple3 triple6) -> rule6) triple5) -> rule5))] Charlie is big.[(triple8 OR ((triple11) -> rule2))] Charlie is blue.[(triple9)] Charlie is furry.[(triple10)] Charlie is green.[(triple11 OR ((triple8 triple13) -> rule4) OR ((triple8 ((triple14 triple12) -> rule1)) -> rule4) OR ((triple8 ((((triple9 triple12) -> rule5) triple12) -> rule1)) -> rule4))] Charlie is nice.[(triple12)] Charlie is white.[(triple13 OR ((triple14 triple12) -> rule1) OR ((((triple9 triple12) -> rule5) triple12) -> rule1))] Charlie is young.[(triple14 OR ((triple9 triple12) -> rule5))]