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