Bob is blue. Bob is cold. Bob is quiet. Bob is round. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is round. Charlie is young. White, blue people are quiet. All furry people are cold. If Charlie is round and Charlie is white then Charlie is blue. Quiet, blue people are furry. If someone is quiet then they are blue. Young people are cold. All furry, round people are quiet. If Charlie is young then Charlie is cold.
Bob is not quiet.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule5))] Bob is cold.[(triple2 OR ((((triple3 triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple3) -> rule5)) -> rule4)) -> rule2))] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Charlie is blue.[(triple5 OR ((triple8) -> rule5) OR ((((triple7 triple9) -> rule7)) -> rule5))] Charlie is cold.[(triple6 OR ((triple10) -> rule6) OR ((triple10) -> rule8) OR ((triple7) -> rule2) OR ((((triple8 triple5) -> rule4)) -> rule2) OR ((((triple8 ((triple8) -> rule5)) -> rule4)) -> rule2))] Charlie is furry.[(triple7 OR ((triple8 triple5) -> rule4) OR ((triple8 ((triple8) -> rule5)) -> rule4))] Charlie is quiet.[(triple8 OR ((triple7 triple9) -> rule7))] Charlie is round.[(triple9)] Charlie is young.[(triple10)] @1: Bob is furry.[(((triple3 triple1) -> rule4) OR ((triple3 ((triple3) -> rule5)) -> rule4))]