Anne is big. Anne is not nice. Anne is red. Anne is rough. Dave is big. Dave is rough. Harry is cold. Harry is nice. Harry is red. Harry is young. Red things are green. All nice things are not rough. If something is cold and nice then it is young.
Dave is not red.
@0: Anne is big.[(triple1)] Anne is not nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Dave is big.[(triple5)] Dave is rough.[(triple6)] Harry is cold.[(triple7)] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is young.[(triple10 OR ((triple7 triple8) -> rule3))] @1: Anne is green.[(((triple3) -> rule1))] Harry is green.[(((triple9) -> rule1))] Harry is not rough.[(((triple8) -> rule2))]