Anne is big. Anne is green. Anne is red. Anne is rough. Anne is round. Anne is white. Dave is big. Dave is green. Dave is quiet. Dave is rough. Dave is white. Harry is big. Harry is red. Harry is rough. Harry is white. If Anne is red and Anne is big then Anne is white.
Harry is not green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple3 triple1) -> rule1))] Dave is big.[(triple7)] Dave is green.[(triple8)] Dave is quiet.[(triple9)] Dave is rough.[(triple10)] Dave is white.[(triple11)] Harry is big.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)]