Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is rough. Dave is round. Dave is not smart. Erin is big. Erin is kind. Erin is nice. Erin is not round. Fiona is not big. Fiona is furry. Fiona is kind. Fiona is smart. If something is big and not smart then it is kind. All smart, kind things are furry.
Erin is not furry.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple1 triple7) -> rule1))] Dave is nice.[(triple4)] Dave is not smart.[(triple7)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Erin is big.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is not round.[(triple11)] Fiona is furry.[(triple13 OR ((triple15 triple14) -> rule2))] Fiona is kind.[(triple14)] Fiona is not big.[(triple12)] Fiona is smart.[(triple15)]