Charlie is big. Charlie is not nice. Charlie is not white. Charlie is not young. Erin is furry. Erin is not red. Erin is rough. Erin is white. Erin is young. Gary is not furry. Gary is not red. Gary is white. Gary is young. Harry is big. Harry is nice. Harry is white. Rough things are not nice. If Charlie is not young then Charlie is not furry. All young, white things are rough.
Harry is not nice.
@0: Charlie is big.[(triple1)] Charlie is not nice.[(triple2)] Charlie is not white.[(triple3)] Charlie is not young.[(triple4)] Erin is furry.[(triple5)] Erin is not red.[(triple6)] Erin is rough.[(triple7 OR ((triple9 triple8) -> rule3))] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is not furry.[(triple10)] Gary is not red.[(triple11)] Gary is white.[(triple12)] Gary is young.[(triple13)] Harry is big.[(triple14)] Harry is nice.[(triple15)] Harry is white.[(triple16)] @1: Charlie is not furry.[(((triple4) -> rule2))] Erin is not nice.[(((triple7) -> rule1) OR ((((triple9 triple8) -> rule3)) -> rule1))] Gary is rough.[(((triple13 triple12) -> rule3))] @2: Gary is not nice.[(((((triple13 triple12) -> rule3)) -> rule1))]