Bob is blue. Bob is not furry. Bob is red. Bob is rough. Charlie is big. Gary is not big. Gary is blue. Gary is furry. Gary is not kind. Gary is red. Gary is rough. Gary is not round. If something is big then it is kind. If something is round then it is not blue.
Charlie is red.
@0: Bob is blue.[(triple1)] Bob is not furry.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Charlie is big.[(triple5)] Gary is blue.[(triple7)] Gary is furry.[(triple8)] Gary is not big.[(triple6)] Gary is not kind.[(triple9)] Gary is not round.[(triple12)] Gary is red.[(triple10)] Gary is rough.[(triple11)] @1: Charlie is kind.[(((triple5) -> rule1))]