Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Dave is kind. Dave is nice. Dave is smart. Dave is young. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is white. Harry is young. If Harry is kind then Harry is rough. All green things are rough. If something is young then it is nice. If Charlie is green then Charlie is smart. If something is young and rough then it is white. Young, white things are rough. White things are green. If something is white and smart then it is green.
Harry is not rough.
@0: Charlie is green.[(triple1 OR ((triple5) -> rule7) OR ((triple5 triple4) -> rule8))] Charlie is kind.[(triple2)] Charlie is rough.[(triple3 OR ((triple1) -> rule2) OR ((((triple5) -> rule7)) -> rule2) OR ((((triple5 triple4) -> rule8)) -> rule2))] Charlie is smart.[(triple4 OR ((triple1) -> rule4) OR ((((triple5) -> rule7)) -> rule4))] Charlie is white.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7 OR ((triple9) -> rule3))] Dave is smart.[(triple8)] Dave is young.[(triple9)] Harry is green.[(triple10 OR ((triple15) -> rule7) OR ((triple15 triple14) -> rule8) OR ((((triple16 triple13) -> rule5)) -> rule7) OR ((((triple16 triple13) -> rule5) triple14) -> rule8) OR ((((triple16 ((triple11) -> rule1)) -> rule5)) -> rule7) OR ((((triple16 ((triple11) -> rule1)) -> rule5) triple14) -> rule8))] Harry is kind.[(triple11)] Harry is nice.[(triple12 OR ((triple16) -> rule3))] Harry is rough.[(triple13 OR ((triple10) -> rule2) OR ((triple11) -> rule1) OR ((triple16 triple15) -> rule6) OR ((((triple15) -> rule7)) -> rule2) OR ((((triple15 triple14) -> rule8)) -> rule2))] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple16 triple13) -> rule5) OR ((triple16 ((triple10) -> rule2)) -> rule5) OR ((triple16 ((triple11) -> rule1)) -> rule5))] Harry is young.[(triple16)]