Bob is big. Bob is not blue. Bob is not furry. Bob is kind. Charlie is blue. Charlie is smart. Dave is blue. Dave is kind. Gary is big. Gary is furry. Gary is smart. Gary is young. All kind, big people are young.
Bob is kind.
@0: Bob is big.[(triple1)] Bob is kind.[(triple4)] Bob is not blue.[(triple2)] Bob is not furry.[(triple3)] Charlie is blue.[(triple5)] Charlie is smart.[(triple6)] Dave is blue.[(triple7)] Dave is kind.[(triple8)] Gary is big.[(triple9)] Gary is furry.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Bob is young.[(((triple4 triple1) -> rule1))]