Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is not young. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is nice. Erin is nice. Erin is quiet. All cold, rough things are young. All quiet, rough things are furry. If something is cold and not rough then it is not quiet.
Bob is cold.
@0: Bob is furry.[(triple1 OR ((triple4 triple5) -> rule2))] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not young.[(triple6)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Charlie is furry.[(triple8)] Charlie is green.[(triple9)] Charlie is nice.[(triple10)] Charlie is not cold.[(triple7)] Erin is nice.[(triple11)] Erin is quiet.[(triple12)]