Bob is blue. Bob is furry. Bob is kind. Charlie is big. Charlie is furry. Charlie is kind. Charlie is quiet. Erin is big. Erin is round. Fiona is big. Fiona is furry. Fiona is young. If someone is young and furry then they are not quiet. All blue, big people are quiet. If someone is blue and quiet then they are big. If someone is young and round then they are kind. Young, big people are furry. If someone is young then they are not round.
Erin is not quiet.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Charlie is big.[(triple4)] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7)] Erin is big.[(triple8)] Erin is round.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11 OR ((triple12 triple10) -> rule5))] Fiona is young.[(triple12)] @1: Fiona is not quiet.[(((triple12 triple11) -> rule1) OR ((triple12 ((triple12 triple10) -> rule5)) -> rule1))] Fiona is not round.[(((triple12) -> rule6))]