Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Fiona is big. Fiona is furry. Fiona is not green. Fiona is quiet. Fiona is white. Rough people are quiet. White, big people are quiet. If someone is furry and white then they are rough.
Charlie is not quiet.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is quiet.[(triple4 OR ((triple6) -> rule1) OR ((triple7 triple1) -> rule2) OR ((((triple2 triple7) -> rule3)) -> rule1))] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple2 triple7) -> rule3))] Charlie is white.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is not green.[(triple10)] Fiona is quiet.[(triple11 OR ((triple12 triple8) -> rule2) OR ((((triple9 triple12) -> rule3)) -> rule1))] Fiona is white.[(triple12)] @1: Fiona is rough.[(((triple9 triple12) -> rule3))]