Anne is kind. Erin is furry. Erin is not white. Fiona is not round. Gary is kind. Gary is smart. Gary is not white. Furry people are round. If someone is cold then they are round. Young, smart people are round. White people are furry. All round, cold people are white. If someone is round and not kind then they are smart. White, cold people are smart. If someone is cold and white then they are young.
Fiona is round.
@0: Anne is kind.[(triple1)] Erin is furry.[(triple2)] Erin is not white.[(triple3)] Fiona is not round.[(triple4)] Gary is kind.[(triple5)] Gary is not white.[(triple7)] Gary is smart.[(triple6)] @1: Erin is round.[(((triple2) -> rule1))]