Anne is green. Anne is red. Anne is rough. Anne is round. Anne is young. Charlie is round. Charlie is young. Erin is green. Erin is round. Erin is smart. Fiona is green. Fiona is round. All green, rough people are round.
Erin is not smart.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4 OR ((triple1 triple3) -> rule1))] Anne is young.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Erin is green.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Fiona is green.[(triple11)] Fiona is round.[(triple12)]