Anne is red. Charlie is blue. Charlie is furry. Charlie is green. Charlie is round. Fiona is blue. Fiona is smart. Green, round things are kind. Round things are red.
Anne is not kind.
@0: Anne is red.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is round.[(triple5)] Fiona is blue.[(triple6)] Fiona is smart.[(triple7)] @1: Charlie is kind.[(((triple4 triple5) -> rule1))] Charlie is red.[(((triple5) -> rule2))]