Bob is big. Bob is blue. Erin is big. Erin is green. Erin is nice. Erin is not quiet. Erin is young. If someone is quiet and not young then they are nice. If Bob is quiet then Bob is blue. If Erin is not nice then Erin is big.
Bob is not nice.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is not quiet.[(triple6)] Erin is young.[(triple7)]