Bob is big. Bob is rough. Bob is white. Charlie is big. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Erin is not smart. Erin is young. Harry is big. Harry is nice. Harry is rough. Harry is smart. Harry is young. If someone is round then they are not young. If someone is white and smart then they are young. If Erin is not smart then Erin is not rough. If someone is white and not big then they are round. If someone is white and not smart then they are not rough. Young people are nice.
Harry is young.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Bob is white.[(triple3)] Charlie is big.[(triple4)] Charlie is nice.[(triple5 OR ((triple9) -> rule6) OR ((((triple8 triple7) -> rule2)) -> rule6))] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9 OR ((triple8 triple7) -> rule2))] Erin is not smart.[(triple10)] Erin is young.[(triple11)] Harry is big.[(triple12)] Harry is nice.[(triple13 OR ((triple16) -> rule6))] Harry is rough.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Erin is nice.[(((triple11) -> rule6))] Erin is not rough.[(((triple10) -> rule3))]