Anne is red. Anne is white. Anne is young. Dave is big. Dave is green. Dave is not red. Dave is smart. Dave is white. Dave is young. Fiona is white. If someone is smart then they are big.
Anne is white.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Dave is big.[(triple4 OR ((triple7) -> rule1))] Dave is green.[(triple5)] Dave is not red.[(triple6)] Dave is smart.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Fiona is white.[(triple10)]