Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is not round. Bob is not white. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is white. If Bob is furry and Bob is cold then Bob is not round. If Charlie is round then Charlie is cold.
Bob is not round.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not round.[(triple6 OR ((triple2 triple1) -> rule1))] Bob is not white.[(triple7)] Bob is quiet.[(triple5)] Charlie is furry.[(triple8)] Charlie is nice.[(triple9)] Charlie is quiet.[(triple10)] Charlie is round.[(triple11)] Charlie is white.[(triple12)] @1: Charlie is cold.[(((triple11) -> rule2))]