Anne is big. Anne is blue. Anne is red. Anne is young. Bob is big. Bob is kind. Gary is red. Gary is smart. Gary is not white. Gary is young. All red, white things are smart. If something is young and kind then it is big. All kind things are white.
Gary is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is red.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is kind.[(triple6)] Gary is not white.[(triple9)] Gary is red.[(triple7)] Gary is smart.[(triple8)] Gary is young.[(triple10)] @1: Bob is white.[(((triple6) -> rule3))]