Bob is blue. Bob is kind. Bob is red. Bob is rough. Bob is young. Dave is rough. Dave is white. Dave is not young. Gary is big. Gary is blue. Gary is red. Gary is rough. Gary is young. Harry is blue. Harry is not red. Harry is not young. All white things are kind.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Dave is not young.[(triple8)] Dave is rough.[(triple6)] Dave is white.[(triple7)] Gary is big.[(triple9)] Gary is blue.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] Gary is young.[(triple13)] Harry is blue.[(triple14)] Harry is not red.[(triple15)] Harry is not young.[(triple16)] @1: Dave is kind.[(((triple7) -> rule1))]