Bob is not big. Bob is blue. Bob is not green. Bob is not round. Bob is smart. Bob is not white. Erin is blue. All blue, young things are not white. If something is blue and round then it is white. If something is round and not smart then it is young. All white, young things are big. If Erin is blue and Erin is young then Erin is green. If Erin is big then Erin is white. All young things are round. Green things are round.
Erin is not big.
@0: Bob is blue.[(triple2)] Bob is not big.[(triple1)] Bob is not green.[(triple3)] Bob is not round.[(triple4)] Bob is not white.[(triple6)] Bob is smart.[(triple5)] Erin is blue.[(triple7)]