Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Erin is kind. Erin is rough. Erin is white. Harry is not kind. Harry is nice. Harry is rough. Harry is round. Harry is not smart. Harry is white. Harry is young. White, kind people are nice. If Erin is white then Erin is smart. If Erin is white and Erin is smart then Erin is kind. If Erin is young then Erin is not round. All nice people are young. If someone is white and not nice then they are young.
Charlie is nice.
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6 OR ((triple1) -> rule5))] Erin is kind.[(triple7 OR ((triple9 ((triple9) -> rule2)) -> rule3))] Erin is rough.[(triple8)] Erin is white.[(triple9)] Harry is nice.[(triple11)] Harry is not kind.[(triple10)] Harry is not smart.[(triple14)] Harry is rough.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple11) -> rule5))] @1: Erin is nice.[(((triple9 triple7) -> rule1) OR ((triple9 ((triple9 ((triple9) -> rule2)) -> rule3)) -> rule1))] Erin is smart.[(((triple9) -> rule2))] @2: Erin is young.[(((((triple9 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple9 ((triple9) -> rule2)) -> rule3)) -> rule1)) -> rule5))] @3: Erin is not round.[(((((((triple9 triple7) -> rule1)) -> rule5)) -> rule4) OR ((((((triple9 ((triple9 ((triple9) -> rule2)) -> rule3)) -> rule1)) -> rule5)) -> rule4))]