Anne is big. Anne is not green. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is red. Dave is cold. Dave is furry. Dave is green. Dave is red. Dave is round. Dave is white. Harry is furry. Harry is not green. Harry is not round. Harry is white. If Harry is cold then Harry is green. All furry things are white.
Dave is big.
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is not cold.[(triple3)] Charlie is red.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is red.[(triple10)] Dave is round.[(triple11)] Dave is white.[(triple12 OR ((triple8) -> rule2))] Harry is furry.[(triple13)] Harry is not green.[(triple14)] Harry is not round.[(triple15)] Harry is white.[(triple16 OR ((triple13) -> rule2))] @1: Charlie is white.[(((triple4) -> rule2))]