Bob is quiet. Charlie is red. Charlie is smart. Dave is green. Dave is quiet. Dave is not red. Dave is smart. Dave is white. Erin is furry. Erin is red. Erin is smart. Erin is not young. All red people are white. If Erin is quiet and Erin is not green then Erin is white. Young people are smart. If Charlie is furry then Charlie is red. All white people are not young. If someone is smart then they are quiet. If Charlie is red then Charlie is white. If Dave is young and Dave is furry then Dave is white.
Erin is not smart.
@0: Bob is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Dave is green.[(triple4)] Dave is not red.[(triple6)] Dave is quiet.[(triple5 OR ((triple7) -> rule6))] Dave is smart.[(triple7)] Dave is white.[(triple8)] Erin is furry.[(triple9)] Erin is not young.[(triple12 OR ((((triple10) -> rule1)) -> rule5))] Erin is red.[(triple10)] Erin is smart.[(triple11)] @1: Charlie is quiet.[(((triple3) -> rule6))] Charlie is white.[(((triple2) -> rule1) OR ((triple2) -> rule7))] Dave is not young.[(((triple8) -> rule5))] Erin is quiet.[(((triple11) -> rule6))] Erin is white.[(((triple10) -> rule1))] @2: Charlie is not young.[(((((triple2) -> rule1)) -> rule5) OR ((((triple2) -> rule7)) -> rule5))]