Bob is green. Bob is kind. Bob is not red. Bob is not round. Bob is not smart. Charlie is big. Charlie is not green. Charlie is not smart. Charlie is white. Harry is green. Harry is kind. Harry is not red. Harry is not round. Harry is not smart. Harry is white. If Harry is not big then Harry is smart. If Harry is big then Harry is green. If Harry is kind then Harry is green. If Bob is kind then Bob is big. If someone is green and red then they are kind. If someone is green and not smart then they are white. All green, big people are not round. If someone is white and not green then they are round.
Charlie is not kind.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is not red.[(triple3)] Bob is not round.[(triple4 OR ((triple1 ((triple2) -> rule4)) -> rule7))] Bob is not smart.[(triple5)] Charlie is big.[(triple6)] Charlie is not green.[(triple7)] Charlie is not smart.[(triple8)] Charlie is white.[(triple9)] Harry is green.[(triple10 OR ((triple11) -> rule3))] Harry is kind.[(triple11)] Harry is not red.[(triple12)] Harry is not round.[(triple13)] Harry is not smart.[(triple14)] Harry is white.[(triple15 OR ((triple10 triple14) -> rule6) OR ((((triple11) -> rule3) triple14) -> rule6))] @1: Bob is big.[(((triple2) -> rule4))] Bob is white.[(((triple1 triple5) -> rule6))] Charlie is round.[(((triple9 triple7) -> rule8))]