Anne is round. Bob is white. Charlie is young. Dave is red. If Anne is white and Anne is blue then Anne is red. If someone is red then they are kind. If someone is blue and round then they are white.
Bob is white.
@0: Anne is round.[(triple1)] Bob is white.[(triple2)] Charlie is young.[(triple3)] Dave is red.[(triple4)] @1: Dave is kind.[(((triple4) -> rule2))]