Bob is green. Bob is not kind. Bob is nice. Bob is white. Charlie is big. Charlie is furry. Charlie is nice. Dave is big. Dave is not blue. Dave is green. Dave is nice. Erin is big. Erin is blue. Erin is green. Erin is not kind. Erin is white. Big things are green. If something is blue and furry then it is big.
Bob is not big.
@0: Bob is green.[(triple1)] Bob is nice.[(triple3)] Bob is not kind.[(triple2)] Bob is white.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple10 OR ((triple8) -> rule1))] Dave is nice.[(triple11)] Dave is not blue.[(triple9)] Erin is big.[(triple12)] Erin is blue.[(triple13)] Erin is green.[(triple14 OR ((triple12) -> rule1))] Erin is not kind.[(triple15)] Erin is white.[(triple16)] @1: Charlie is green.[(((triple5) -> rule1))]