Anne is big. Anne is green. Dave is not big. Dave is green. Dave is round. Dave is smart. Erin is big. Erin is not green. Erin is rough. Erin is round. Erin is smart. Harry is not big. Harry is green. Harry is rough. Harry is not young. If something is young and big then it is round. If something is blue and not young then it is big. All blue things are not smart. If something is blue and not young then it is green. If something is rough and not young then it is green. If Dave is not big then Dave is green.
Harry is smart.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Dave is green.[(triple4 OR ((triple3) -> rule6))] Dave is not big.[(triple3)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Erin is big.[(triple7)] Erin is not green.[(triple8)] Erin is rough.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11)] Harry is green.[(triple13 OR ((triple14 triple15) -> rule5))] Harry is not big.[(triple12)] Harry is not young.[(triple15)] Harry is rough.[(triple14)]