Bob is not green. Bob is kind. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is young. Erin is green. Erin is not rough. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is not young. If something is red then it is kind. All red, nice things are kind. If something is young and not red then it is quiet. Young, quiet things are not rough. If Charlie is rough then Charlie is not young. If something is kind and not rough then it is green.
Charlie is quiet.
@0: Bob is kind.[(triple2)] Bob is not green.[(triple1)] Charlie is green.[(triple3 OR ((((triple6) -> rule1) ((triple7 triple5) -> rule4)) -> rule6) OR ((((triple6 triple4) -> rule2) ((triple7 triple5) -> rule4)) -> rule6))] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is young.[(triple7)] Erin is green.[(triple8)] Erin is not rough.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11 OR ((triple14) -> rule1) OR ((triple14 triple12) -> rule2))] Gary is nice.[(triple12)] Gary is not young.[(triple16)] Gary is quiet.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] @1: Charlie is kind.[(((triple6) -> rule1) OR ((triple6 triple4) -> rule2))] Charlie is not rough.[(((triple7 triple5) -> rule4))]