Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is young. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is young. If something is green then it is blue. If Dave is quiet then Dave is green. If something is young and blue then it is nice.
Dave is not blue.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule1))] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple5 triple1) -> rule3) OR ((triple5 ((triple3) -> rule1)) -> rule3))] Charlie is young.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7 OR ((triple10 ((((triple8) -> rule2)) -> rule1)) -> rule3))] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Dave is young.[(triple10)] @1: Dave is green.[(((triple8) -> rule2))] @2: Dave is blue.[(((((triple8) -> rule2)) -> rule1))]