Bob is big. Charlie is furry. Charlie is rough. Charlie is young. Erin is big. Erin is blue. Erin is not quiet. If Charlie is big and Charlie is quiet then Charlie is not furry. If someone is rough then they are quiet. If someone is blue and not quiet then they are furry.
Bob is quiet.
@0: Bob is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is not quiet.[(triple7)] @1: Charlie is quiet.[(((triple3) -> rule2))] Erin is furry.[(((triple6 triple7) -> rule3))]