Anne is green. Anne is nice. Anne is not white. Dave is big. Dave is cold. Dave is not green. Dave is nice. Fiona is cold. Fiona is white. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is smart. If Harry is not big then Harry is white. If something is nice then it is smart.
Anne is big.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is not white.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple7)] Dave is not green.[(triple6)] Fiona is cold.[(triple8)] Fiona is white.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is smart.[(triple15 OR ((triple14) -> rule2))] @1: Anne is smart.[(((triple2) -> rule2))] Dave is smart.[(((triple7) -> rule2))]