Charlie is green. Charlie is white. Charlie is young. Erin is big. Erin is not green. Erin is nice. Erin is red. Erin is smart. Fiona is smart. Harry is big. Harry is not nice. Harry is not red. Harry is smart. Harry is white. Harry is not young. If Charlie is young then Charlie is not red. If something is white and not red then it is big. If something is red and not smart then it is not big.
Charlie is not smart.
@0: Charlie is green.[(triple1)] Charlie is white.[(triple2)] Charlie is young.[(triple3)] Erin is big.[(triple4)] Erin is nice.[(triple6)] Erin is not green.[(triple5)] Erin is red.[(triple7)] Erin is smart.[(triple8)] Fiona is smart.[(triple9)] Harry is big.[(triple10 OR ((triple14 triple12) -> rule2))] Harry is not nice.[(triple11)] Harry is not red.[(triple12)] Harry is not young.[(triple15)] Harry is smart.[(triple13)] Harry is white.[(triple14)] @1: Charlie is not red.[(((triple3) -> rule1))] @2: Charlie is big.[(((triple2 ((triple3) -> rule1)) -> rule2))]