Dave is blue. Dave is not kind. Dave is not red. Dave is white. Dave is young. Harry is blue. Harry is kind. Harry is red. Harry is white. Harry is young. If something is white and not red then it is big. Young things are green.
Harry is not red.
@0: Dave is blue.[(triple1)] Dave is not kind.[(triple2)] Dave is not red.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Harry is blue.[(triple6)] Harry is kind.[(triple7)] Harry is red.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Dave is big.[(((triple4 triple3) -> rule1))] Dave is green.[(((triple5) -> rule2))] Harry is green.[(((triple10) -> rule2))]