Bob is not blue. Bob is round. Erin is blue. Erin is furry. Erin is not kind. Erin is quiet. Erin is round. Erin is smart. Gary is blue. Gary is furry. If Erin is red then Erin is round. If someone is red and not smart then they are furry. Quiet, smart people are blue. All furry, red people are quiet. If someone is furry and not red then they are quiet. If Gary is furry and Gary is round then Gary is blue.
Erin is not kind.
@0: Bob is not blue.[(triple1)] Bob is round.[(triple2)] Erin is blue.[(triple3 OR ((triple6 triple8) -> rule3))] Erin is furry.[(triple4)] Erin is not kind.[(triple5)] Erin is quiet.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10)]