Bob is nice. Bob is quiet. Bob is white. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is white. Dave is young. Erin is red. Erin is smart. Nice people are white. All young people are red. All young people are quiet. All white, nice people are smart. All young people are blue. All white, young people are smart.
Bob is not young.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3 OR ((triple1) -> rule1))] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple8) -> rule3))] Charlie is red.[(triple6 OR ((triple8) -> rule2))] Charlie is white.[(triple7 OR ((triple4) -> rule1))] Charlie is young.[(triple8)] Dave is nice.[(triple9)] Dave is quiet.[(triple10 OR ((triple14) -> rule3))] Dave is red.[(triple11 OR ((triple14) -> rule2))] Dave is smart.[(triple12 OR ((triple13 triple14) -> rule6) OR ((triple13 triple9) -> rule4) OR ((((triple9) -> rule1) triple14) -> rule6) OR ((((triple9) -> rule1) triple9) -> rule4))] Dave is white.[(triple13 OR ((triple9) -> rule1))] Dave is young.[(triple14)] Erin is red.[(triple15)] Erin is smart.[(triple16)] @1: Bob is smart.[(((triple3 triple1) -> rule4) OR ((((triple1) -> rule1) triple1) -> rule4))] Charlie is blue.[(((triple8) -> rule5))] Charlie is smart.[(((triple7 triple4) -> rule4) OR ((triple7 triple8) -> rule6) OR ((((triple4) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule1) triple8) -> rule6))] Dave is blue.[(((triple14) -> rule5))]