Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is not quiet. Bob is red. Bob is white. Erin is cold. Erin is furry. Erin is quiet. Erin is not red. Erin is white. If Bob is blue and Bob is red then Bob is nice. White, quiet people are not blue. If someone is quiet and cold then they are white.
Erin is not quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4 OR ((triple1 triple6) -> rule1))] Bob is not quiet.[(triple5)] Bob is red.[(triple6)] Bob is white.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is not red.[(triple11)] Erin is quiet.[(triple10)] Erin is white.[(triple12 OR ((triple10 triple8) -> rule3))] @1: Erin is not blue.[(((triple12 triple10) -> rule2) OR ((((triple10 triple8) -> rule3) triple10) -> rule2))]