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