Dave is blue. Dave is furry. Dave is kind. Dave is not nice. Dave is not quiet. Dave is rough. Dave is round. Erin is blue. Erin is not kind. Erin is nice. Erin is not quiet. Erin is rough. If something is kind and not round then it is furry. If Erin is furry and Erin is kind then Erin is not quiet. All furry things are kind. Rough, quiet things are nice. If something is round and not furry then it is blue. All nice, furry things are rough. If something is blue and not round then it is rough. Quiet, kind things are rough.
Erin is round.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple2) -> rule3))] Dave is not nice.[(triple4)] Dave is not quiet.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Erin is blue.[(triple8)] Erin is nice.[(triple10)] Erin is not kind.[(triple9)] Erin is not quiet.[(triple11)] Erin is rough.[(triple12)]