Anne is nice. Dave is young. Fiona is red. Gary is big. Rough, red people are big. If someone is big and blue then they are white. If Anne is big then Anne is young. White people are big. If Gary is rough and Gary is young then Gary is white. Young, white people are blue. Nice people are big. If Anne is big then Anne is white.
Dave is not blue.
@0: Anne is nice.[(triple1)] Dave is young.[(triple2)] Fiona is red.[(triple3)] Gary is big.[(triple4)] @1: Anne is big.[(((triple1) -> rule7))] @2: Anne is white.[(((((triple1) -> rule7)) -> rule8))] Anne is young.[(((((triple1) -> rule7)) -> rule3))] @3: Anne is blue.[(((((((triple1) -> rule7)) -> rule3) ((((triple1) -> rule7)) -> rule8)) -> rule6))]