Dave is big. Dave is furry. Dave is green. Dave is quiet. Dave is round. Erin is furry. Erin is green. Erin is quiet. Erin is round. Erin is young. Fiona is green. Fiona is quiet. All kind people are round. If Erin is furry and Erin is young then Erin is round.
Dave is not round.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is quiet.[(triple8)] Erin is round.[(triple9 OR ((triple6 triple10) -> rule2))] Erin is young.[(triple10)] Fiona is green.[(triple11)] Fiona is quiet.[(triple12)]