Anne is blue. Anne is green. Anne is young. Charlie is blue. Charlie is green. Charlie is red. Dave is red. Dave is smart. Harry is big. Harry is blue. Harry is quiet. Harry is smart. Blue things are big.
Anne is quiet.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5)] Charlie is red.[(triple6)] Dave is red.[(triple7)] Dave is smart.[(triple8)] Harry is big.[(triple9 OR ((triple10) -> rule1))] Harry is blue.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Anne is big.[(((triple1) -> rule1))] Charlie is big.[(((triple4) -> rule1))]