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