Erin is blue. Erin is rough. Erin is white. Fiona is blue. Fiona is nice. Fiona is rough. Fiona is white. If someone is nice then they are not red. All round people are smart. If Fiona is white then Fiona is smart. If someone is blue then they are rough. If someone is nice and not round then they are rough. If someone is rough and not blue then they are not white. If someone is rough then they are white. If someone is smart then they are white.
Fiona is nice.
@0: Erin is blue.[(triple1)] Erin is rough.[(triple2 OR ((triple1) -> rule4))] Erin is white.[(triple3 OR ((triple2) -> rule7) OR ((((triple1) -> rule4)) -> rule7))] Fiona is blue.[(triple4)] Fiona is nice.[(triple5)] Fiona is rough.[(triple6 OR ((triple4) -> rule4))] Fiona is white.[(triple7 OR ((triple6) -> rule7) OR ((((triple4) -> rule4)) -> rule7))] @1: Fiona is not red.[(((triple5) -> rule1))] Fiona is smart.[(((triple7) -> rule3) OR ((((triple6) -> rule7)) -> rule3) OR ((((((triple4) -> rule4)) -> rule7)) -> rule3))]