Charlie is not kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Dave is kind. Dave is not rough. Dave is round. Dave is smart. Dave is white. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is smart. If Charlie is not smart then Charlie is round. All round people are white. If Charlie is kind and Charlie is not round then Charlie is red. If someone is red and not smart then they are kind. If someone is red and not smart then they are kind. If someone is kind and not round then they are nice. If someone is red and not kind then they are nice. If Charlie is kind and Charlie is not red then Charlie is nice.
Charlie is smart.
@0: Charlie is not kind.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5 OR ((triple4) -> rule2))] Dave is kind.[(triple6)] Dave is not rough.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10 OR ((triple8) -> rule2))] Harry is kind.[(triple11)] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Charlie is nice.[(((triple2 triple1) -> rule7))]