Anne is big. Anne is smart. Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is not white. Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is not smart. Erin is big. Erin is quiet. Erin is white. All smart people are quiet. If someone is big then they are quiet. If Erin is kind then Erin is big. If Erin is young and Erin is not smart then Erin is kind. All kind people are big. If Anne is not white and Anne is not kind then Anne is not smart. If Dave is smart then Dave is kind. If someone is green and not white then they are young.
Dave is not young.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Charlie is big.[(triple3 OR ((triple5) -> rule5))] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is not white.[(triple7)] Charlie is quiet.[(triple6 OR ((triple3) -> rule2) OR ((((triple5) -> rule5)) -> rule2))] Dave is big.[(triple8 OR ((triple10) -> rule5))] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is not smart.[(triple12)] Dave is quiet.[(triple11 OR ((triple8) -> rule2) OR ((((triple10) -> rule5)) -> rule2))] Erin is big.[(triple13)] Erin is quiet.[(triple14 OR ((triple13) -> rule2))] Erin is white.[(triple15)] @1: Anne is quiet.[(((triple1) -> rule2) OR ((triple2) -> rule1))] Charlie is young.[(((triple4 triple7) -> rule8))]