Bob is big. Bob is not quiet. Erin is big. Erin is blue. Erin is not furry. Erin is green. Erin is quiet. Erin is smart. Erin is not young. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is not young. All smart, blue people are big. Young, blue people are green. All big people are not young.
Bob is smart.
@0: Bob is big.[(triple1)] Bob is not quiet.[(triple2)] Erin is big.[(triple3 OR ((triple8 triple4) -> rule1))] Erin is blue.[(triple4)] Erin is green.[(triple6)] Erin is not furry.[(triple5)] Erin is not young.[(triple9 OR ((triple3) -> rule3) OR ((((triple8 triple4) -> rule1)) -> rule3))] Erin is quiet.[(triple7)] Erin is smart.[(triple8)] Fiona is big.[(triple10)] Fiona is furry.[(triple12)] Fiona is green.[(triple13)] Fiona is not blue.[(triple11)] Fiona is not young.[(triple16 OR ((triple10) -> rule3))] Fiona is quiet.[(triple14)] Fiona is smart.[(triple15)] @1: Bob is not young.[(((triple1) -> rule3))]