Bob is blue. Bob is furry. Bob is white. Erin is not blue. Erin is furry. Erin is green. Erin is quiet. Erin is not red. Erin is rough. Erin is not white. All blue, white people are not rough. If Erin is blue and Erin is rough then Erin is not furry. If Erin is not blue then Erin is furry. If someone is white and not rough then they are red. Rough people are furry. White, quiet people are furry. If someone is white and not rough then they are quiet. All green people are quiet.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple3 ((triple3 ((triple1 triple3) -> rule1)) -> rule7)) -> rule6))] Bob is white.[(triple3)] Erin is furry.[(triple5 OR ((triple4) -> rule3) OR ((triple9) -> rule5))] Erin is green.[(triple6)] Erin is not blue.[(triple4)] Erin is not red.[(triple8)] Erin is not white.[(triple10)] Erin is quiet.[(triple7 OR ((triple6) -> rule8))] Erin is rough.[(triple9)] @1: Bob is not rough.[(((triple1 triple3) -> rule1))] @2: Bob is quiet.[(((triple3 ((triple1 triple3) -> rule1)) -> rule7))] Bob is red.[(((triple3 ((triple1 triple3) -> rule1)) -> rule4))]