Dave is furry. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is furry. Erin is kind. Erin is not quiet. Erin is rough. Erin is round. Erin is smart. Erin is white. If Erin is furry and Erin is rough then Erin is round. If something is kind and quiet then it is furry. If something is white and round then it is rough.
Dave is smart.
@0: Dave is furry.[(triple1 OR ((triple2 triple3) -> rule2))] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4 OR ((triple7 triple5) -> rule3))] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is not quiet.[(triple10)] Erin is rough.[(triple11 OR ((triple14 triple12) -> rule3))] Erin is round.[(triple12 OR ((triple8 triple11) -> rule1))] Erin is smart.[(triple13)] Erin is white.[(triple14)]