Anne is big. Anne is blue. Anne is furry. Anne is quiet. Anne is smart. Anne is young. Fiona is furry. Fiona is nice. Fiona is smart. Gary is nice. If something is young then it is blue.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple6) -> rule1))] Anne is furry.[(triple3)] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Fiona is furry.[(triple7)] Fiona is nice.[(triple8)] Fiona is smart.[(triple9)] Gary is nice.[(triple10)]