Bob is not furry. Bob is quiet. Bob is round. Bob is not smart. Bob is white. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Charlie is not smart. Charlie is white. If something is quiet then it is round.
Bob is not round.
@0: Bob is not furry.[(triple1)] Bob is not smart.[(triple4)] Bob is quiet.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule1))] Bob is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is not smart.[(triple11)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is round.[(triple10 OR ((triple8) -> rule1))] Charlie is white.[(triple12)]