Bob is blue. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is not smart. Bob is white. Erin is blue. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is white. All quiet people are red. If Bob is not quiet then Bob is not green. If someone is green and not blue then they are not smart. If Erin is not red then Erin is white. If Erin is not green then Erin is not white. All green, red people are round. If someone is quiet and not white then they are round. If someone is quiet and not blue then they are not round.
Bob is not green.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is not smart.[(triple6)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple3) -> rule1))] Bob is round.[(triple5 OR ((triple2 triple4) -> rule6) OR ((triple2 ((triple3) -> rule1)) -> rule6))] Bob is white.[(triple7)] Erin is blue.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11 OR ((triple10) -> rule1))] Erin is round.[(triple12 OR ((triple9 triple11) -> rule6) OR ((triple9 ((triple10) -> rule1)) -> rule6))] Erin is smart.[(triple13)] Erin is white.[(triple14)]