Anne is big. Anne is not blue. Anne is furry. Anne is green. Anne is young. Charlie is blue. Charlie is green. Charlie is round. Erin is not big. Erin is furry. Erin is green. Erin is red. Erin is young. Fiona is big. Fiona is round. If Charlie is young and Charlie is round then Charlie is not big. If someone is furry and red then they are young.
Anne is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is not blue.[(triple2)] Anne is young.[(triple5)] Charlie is blue.[(triple6)] Charlie is green.[(triple7)] Charlie is round.[(triple8)] Erin is furry.[(triple10)] Erin is green.[(triple11)] Erin is not big.[(triple9)] Erin is red.[(triple12)] Erin is young.[(triple13 OR ((triple10 triple12) -> rule2))] Fiona is big.[(triple14)] Fiona is round.[(triple15)]