Erin is blue. Erin is cold. Erin is furry. Erin is not green. Erin is nice. Erin is not quiet. Erin is white. Gary is blue. Gary is cold. Gary is furry. Gary is not green. Gary is nice. Gary is quiet. Gary is white. All blue, green people are not quiet. If someone is furry and not white then they are cold. All furry, white people are cold. If Erin is not blue then Erin is nice. If someone is quiet and not cold then they are nice. Blue people are nice. Blue people are nice. All furry people are nice.
Gary is quiet.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple3 triple7) -> rule3))] Erin is furry.[(triple3)] Erin is nice.[(triple5 OR ((triple1) -> rule6) OR ((triple1) -> rule7) OR ((triple3) -> rule8))] Erin is not green.[(triple4)] Erin is not quiet.[(triple6)] Erin is white.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9 OR ((triple10 triple14) -> rule3))] Gary is furry.[(triple10)] Gary is nice.[(triple12 OR ((triple10) -> rule8) OR ((triple8) -> rule6) OR ((triple8) -> rule7))] Gary is not green.[(triple11)] Gary is quiet.[(triple13)] Gary is white.[(triple14)]