Anne is green. Anne is not smart. Bob is round. Bob is young. Charlie is rough. Charlie is round. Charlie is young. Fiona is furry. Fiona is green. Fiona is rough. If someone is green and not round then they are furry. If someone is young and round then they are not green.
Anne is smart.
@0: Anne is green.[(triple1)] Anne is not smart.[(triple2)] Bob is round.[(triple3)] Bob is young.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is rough.[(triple10)] @1: Bob is not green.[(((triple4 triple3) -> rule2))] Charlie is not green.[(((triple7 triple6) -> rule2))]