Dave is big. Dave is cold. Dave is not furry. Dave is green. Dave is quiet. Dave is smart. Dave is white. Erin is big. Erin is not cold. Erin is furry. Erin is green. Erin is quiet. Erin is smart. Erin is white. If someone is furry and green then they are smart. If someone is furry then they are green. If someone is quiet then they are white. All white, green people are big. If someone is big and not green then they are quiet. If someone is cold and not green then they are quiet.
Erin is white.
@0: Dave is big.[(triple1 OR ((triple7 triple4) -> rule4) OR ((((triple5) -> rule3) triple4) -> rule4))] Dave is cold.[(triple2)] Dave is green.[(triple4)] Dave is not furry.[(triple3)] Dave is quiet.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple5) -> rule3))] Erin is big.[(triple8 OR ((triple14 triple11) -> rule4) OR ((triple14 ((triple10) -> rule2)) -> rule4) OR ((((triple12) -> rule3) triple11) -> rule4) OR ((((triple12) -> rule3) ((triple10) -> rule2)) -> rule4))] Erin is furry.[(triple10)] Erin is green.[(triple11 OR ((triple10) -> rule2))] Erin is not cold.[(triple9)] Erin is quiet.[(triple12)] Erin is smart.[(triple13 OR ((triple10 triple11) -> rule1) OR ((triple10 ((triple10) -> rule2)) -> rule1))] Erin is white.[(triple14 OR ((triple12) -> rule3))]