Bob is blue. Bob is not furry. Bob is nice. Bob is quiet. Bob is not red. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is red. If Bob is furry and Bob is not kind then Bob is not blue. If something is cold then it is blue. If something is kind then it is blue. All cold things are blue. Cold, kind things are red. If Charlie is red then Charlie is furry. If something is quiet and not blue then it is nice. All red things are not nice.
Bob is not kind.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple3)] Bob is not furry.[(triple2)] Bob is not red.[(triple5)] Bob is quiet.[(triple4)] Charlie is blue.[(triple6 OR ((triple7) -> rule2) OR ((triple7) -> rule4) OR ((triple8) -> rule3))] Charlie is cold.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9)] Charlie is red.[(triple10 OR ((triple7 triple8) -> rule5))] Erin is blue.[(triple11 OR ((triple12) -> rule2) OR ((triple12) -> rule4) OR ((triple14) -> rule3))] Erin is cold.[(triple12)] Erin is furry.[(triple13)] Erin is kind.[(triple14)] Erin is red.[(triple15 OR ((triple12 triple14) -> rule5))] @1: Charlie is furry.[(((triple10) -> rule6) OR ((((triple7 triple8) -> rule5)) -> rule6))] Charlie is not nice.[(((triple10) -> rule8) OR ((((triple7 triple8) -> rule5)) -> rule8))] Erin is not nice.[(((triple15) -> rule8) OR ((((triple12 triple14) -> rule5)) -> rule8))]