Bob is big. Bob is furry. Bob is kind. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is quiet. If Bob is kind then Bob is not quiet. If Bob is quiet then Bob is big.
Charlie is rough.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is not furry.[(triple4)] Charlie is quiet.[(triple7)] @1: Bob is not quiet.[(((triple3) -> rule1))]