Bob is big. Bob is not furry. Bob is green. Bob is rough. Bob is not white. Charlie is big. Charlie is green. Charlie is white. Erin is big. Erin is not young. If someone is white and not red then they are green. If Charlie is furry then Charlie is green. If someone is green and furry then they are rough. Furry, rough people are white. White people are big. If someone is white and not red then they are big. Green, rough people are young. If Erin is big and Erin is furry then Erin is young.
Bob is green.
@0: Bob is big.[(triple1)] Bob is green.[(triple3)] Bob is not furry.[(triple2)] Bob is not white.[(triple5)] Bob is rough.[(triple4)] Charlie is big.[(triple6 OR ((triple8) -> rule5))] Charlie is green.[(triple7)] Charlie is white.[(triple8)] Erin is big.[(triple9)] Erin is not young.[(triple10)] @1: Bob is young.[(((triple3 triple4) -> rule7))]