Bob is kind. Charlie is furry. Charlie is quiet. Charlie is not smart. Dave is big. Dave is not kind. Dave is quiet. Dave is not red. Dave is smart. Erin is green. Erin is kind. Erin is quiet. If Dave is not green and Dave is not kind then Dave is smart. If something is smart and not kind then it is furry. Quiet, green things are furry. All quiet, green things are not red. Red things are not quiet. If something is quiet then it is big.
Charlie is quiet.
@0: Bob is kind.[(triple1)] Charlie is furry.[(triple2)] Charlie is not smart.[(triple4)] Charlie is quiet.[(triple3)] Dave is big.[(triple5 OR ((triple7) -> rule6))] Dave is not kind.[(triple6)] Dave is not red.[(triple8)] Dave is quiet.[(triple7)] Dave is smart.[(triple9)] Erin is green.[(triple10)] Erin is kind.[(triple11)] Erin is quiet.[(triple12)] @1: Charlie is big.[(((triple3) -> rule6))] Dave is furry.[(((triple9 triple6) -> rule2))] Erin is big.[(((triple12) -> rule6))] Erin is furry.[(((triple12 triple10) -> rule3))] Erin is not red.[(((triple12 triple10) -> rule4))]