Anne is green. Anne is nice. Anne is white. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is smart. Fiona is big. Fiona is green. Fiona is white. All green, white people are blue.
Fiona is not nice.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is green.[(triple9)] Fiona is white.[(triple10)] @1: Anne is blue.[(((triple1 triple3) -> rule1))] Fiona is blue.[(((triple9 triple10) -> rule1))]