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