Erin is nice. Erin is red. Harry is blue. Harry is kind. Harry is nice. Harry is red. Harry is young. All rough, blue things are kind. Rough things are red. All kind, young things are red. Young, blue things are white. If something is rough and not red then it is nice. If something is rough and kind then it is nice.
Erin is not red.
@0: Erin is nice.[(triple1)] Erin is red.[(triple2)] Harry is blue.[(triple3)] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is red.[(triple6 OR ((triple4 triple7) -> rule3))] Harry is young.[(triple7)] @1: Harry is white.[(((triple7 triple3) -> rule4))]