Charlie is green. Charlie is red. Erin is big. Erin is furry. Erin is not red. Erin is rough. Fiona is big. Fiona is furry. Fiona is quiet. Fiona is not white. Green things are not big. If something is green and not rough then it is not quiet. All white things are red.
Erin is quiet.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Erin is big.[(triple3)] Erin is furry.[(triple4)] Erin is not red.[(triple5)] Erin is rough.[(triple6)] Fiona is big.[(triple7)] Fiona is furry.[(triple8)] Fiona is not white.[(triple10)] Fiona is quiet.[(triple9)] @1: Charlie is not big.[(((triple1) -> rule1))]