Anne is big. Anne is smart. Anne is young. Bob is red. Bob is white. Charlie is big. Charlie is nice. Charlie is red. Charlie is smart. Gary is kind. Gary is smart. Gary is white. If Anne is nice and Anne is young then Anne is red. Red, big people are young.
Gary is not kind.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Bob is red.[(triple4)] Bob is white.[(triple5)] Charlie is big.[(triple6)] Charlie is nice.[(triple7)] Charlie is red.[(triple8)] Charlie is smart.[(triple9)] Gary is kind.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Charlie is young.[(((triple8 triple6) -> rule2))]