Erin is big. Erin is blue. Erin is furry. Erin is rough. Fiona is not big. Fiona is blue. Fiona is furry. If something is kind then it is big. If Fiona is white then Fiona is blue. If something is furry then it is nice. If Erin is not big then Erin is rough. All rough things are furry. If Erin is blue and Erin is not nice then Erin is not white.
Erin is blue.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3 OR ((triple4) -> rule5))] Erin is rough.[(triple4)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is not big.[(triple5)] @1: Erin is nice.[(((triple3) -> rule3) OR ((((triple4) -> rule5)) -> rule3))] Fiona is nice.[(((triple7) -> rule3))]