Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Bob is not young. Charlie is rough. Dave is kind. Dave is quiet. Dave is rough. Dave is white. Dave is young. Erin is green. Erin is rough. All white things are green. All young things are green. All furry things are white. If Charlie is furry and Charlie is white then Charlie is not kind. If something is kind and not young then it is quiet. If Erin is furry and Erin is not white then Erin is not green.
Erin is green.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple6) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] Bob is kind.[(triple3)] Bob is not young.[(triple7)] Bob is quiet.[(triple4 OR ((triple3 triple7) -> rule5))] Bob is rough.[(triple5)] Bob is white.[(triple6 OR ((triple1) -> rule3))] Charlie is rough.[(triple8)] Dave is kind.[(triple9)] Dave is quiet.[(triple10)] Dave is rough.[(triple11)] Dave is white.[(triple12)] Dave is young.[(triple13)] Erin is green.[(triple14)] Erin is rough.[(triple15)] @1: Dave is green.[(((triple12) -> rule1) OR ((triple13) -> rule2))]