Anne is nice. Bob is young. Dave is red. Fiona is white. If someone is young then they are red. If Dave is smart then Dave is red. If someone is green and red then they are young.
Dave is not red.
@0: Anne is nice.[(triple1)] Bob is young.[(triple2)] Dave is red.[(triple3)] Fiona is white.[(triple4)] @1: Bob is red.[(((triple2) -> rule1))]