Charlie is big. Charlie is green. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. Erin is big. Erin is not smart. Erin is white. Harry is big. Harry is not blue. Harry is green. Harry is not nice. Harry is not smart. Harry is white. Harry is young. Blue things are green. If something is smart then it is white. Blue things are white. If Charlie is big then Charlie is smart. If Harry is nice and Harry is young then Harry is white. If something is blue and not green then it is young. If something is big then it is young. All white, nice things are young.
Erin is blue.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is smart.[(triple4 OR ((triple1) -> rule4))] Charlie is white.[(triple5 OR ((triple4) -> rule2) OR ((((triple1) -> rule4)) -> rule2))] Charlie is young.[(triple6 OR ((triple1) -> rule7) OR ((triple5 triple3) -> rule8) OR ((((triple4) -> rule2) triple3) -> rule8) OR ((((((triple1) -> rule4)) -> rule2) triple3) -> rule8))] Erin is big.[(triple7)] Erin is not smart.[(triple8)] Erin is white.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple12)] Harry is not blue.[(triple11)] Harry is not nice.[(triple13)] Harry is not smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple10) -> rule7))] @1: Erin is young.[(((triple7) -> rule7))]