Charlie is green. Charlie is kind. Charlie is nice. Charlie is round. Charlie is not white. Dave is big. Dave is young. Harry is green. Harry is round. Harry is young. If someone is green and not big then they are not young. All young people are nice. Young people are round.
Dave is not big.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is not white.[(triple5)] Charlie is round.[(triple4)] Dave is big.[(triple6)] Dave is young.[(triple7)] Harry is green.[(triple8)] Harry is round.[(triple9 OR ((triple10) -> rule3))] Harry is young.[(triple10)] @1: Dave is nice.[(((triple7) -> rule2))] Dave is round.[(((triple7) -> rule3))] Harry is nice.[(((triple10) -> rule2))]