Charlie is big. Charlie is furry. Charlie is nice. Charlie is red. Charlie is young. Dave is big. Dave is round. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. If someone is quiet and red then they are nice. All big, young people are nice.
Dave is not nice.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3 OR ((triple1 triple5) -> rule2))] Charlie is red.[(triple4)] Charlie is young.[(triple5)] Dave is big.[(triple6)] Dave is round.[(triple7)] Fiona is big.[(triple8)] Fiona is nice.[(triple9 OR ((triple10 triple11) -> rule1) OR ((triple8 triple12) -> rule2))] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is young.[(triple12)]