Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is white. All white things are blue. White, quiet things are smart.
Charlie is not quiet.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5 OR ((triple6 triple3) -> rule2))] Charlie is white.[(triple6)] Fiona is blue.[(triple7 OR ((triple12) -> rule1))] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] Fiona is smart.[(triple11 OR ((triple12 triple10) -> rule2))] Fiona is white.[(triple12)] @1: Charlie is blue.[(((triple6) -> rule1))]