Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is round. Anne is white. Anne is young. Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Young people are green. Round, green people are kind.
Charlie is round.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple7) -> rule1))] Anne is kind.[(triple4 OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple7) -> rule1)) -> rule2))] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is big.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10 OR ((triple14) -> rule1))] Charlie is kind.[(triple11 OR ((triple12 triple10) -> rule2) OR ((triple12 ((triple14) -> rule1)) -> rule2))] Charlie is round.[(triple12)] Charlie is white.[(triple13)] Charlie is young.[(triple14)]