Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is not smart. Charlie is big. Charlie is blue. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is not quiet. Charlie is smart. If someone is furry then they are big. If Bob is not cold and Bob is not smart then Bob is quiet.
Charlie is not furry.
@0: Bob is big.[(triple1 OR ((triple4) -> rule1))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is not smart.[(triple7)] Bob is quiet.[(triple6)] Charlie is big.[(triple8 OR ((triple11) -> rule1))] Charlie is blue.[(triple9)] Charlie is furry.[(triple11)] Charlie is green.[(triple12)] Charlie is not cold.[(triple10)] Charlie is not quiet.[(triple13)] Charlie is smart.[(triple14)]