Erin is blue. Erin is green. Erin is not kind. Erin is nice. Erin is round. Erin is smart. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is not round. Fiona is smart. Fiona is white. If someone is nice and kind then they are white. If someone is smart and not nice then they are white. If someone is kind and not nice then they are white. All kind, green people are white. If someone is kind and round then they are not white. If someone is nice and not kind then they are round. If Fiona is round then Fiona is not green. If Erin is blue and Erin is white then Erin is not smart.
Fiona is green.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple4)] Erin is not kind.[(triple3)] Erin is round.[(triple5 OR ((triple4 triple3) -> rule6))] Erin is smart.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is not round.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12 OR ((triple9 triple8) -> rule1))]