Anne is green. Anne is not kind. Anne is red. Anne is white. Anne is young. Bob is green. Bob is kind. Bob is white. Charlie is not round. Charlie is smart. Charlie is not white. Charlie is not young. Gary is green. Gary is red. Gary is smart. If Anne is round then Anne is smart. Green, white things are young.
Anne is not smart.
@0: Anne is green.[(triple1)] Anne is not kind.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple1 triple4) -> rule2))] Bob is green.[(triple6)] Bob is kind.[(triple7)] Bob is white.[(triple8)] Charlie is not round.[(triple9)] Charlie is not white.[(triple11)] Charlie is not young.[(triple12)] Charlie is smart.[(triple10)] Gary is green.[(triple13)] Gary is red.[(triple14)] Gary is smart.[(triple15)] @1: Bob is young.[(((triple6 triple8) -> rule2))]