Anne is green. Anne is red. Anne is white. Anne is young. Bob is big. Bob is nice. Bob is white. Charlie is kind. Charlie is red. Gary is big. Gary is kind. Gary is young. White things are green.
Gary is not green.
@0: Anne is green.[(triple1 OR ((triple3) -> rule1))] Anne is red.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is nice.[(triple6)] Bob is white.[(triple7)] Charlie is kind.[(triple8)] Charlie is red.[(triple9)] Gary is big.[(triple10)] Gary is kind.[(triple11)] Gary is young.[(triple12)] @1: Bob is green.[(((triple7) -> rule1))]