Anne is rough. Bob is white. Erin is kind. Fiona is smart. If Anne is rough then Anne is big. If someone is kind and not smart then they are not big. If someone is furry then they are big. All nice, white people are furry. If someone is white and not rough then they are furry. White, big people are not furry. All kind people are not white. All rough, big people are kind.
Fiona is smart.
@0: Anne is rough.[(triple1)] Bob is white.[(triple2)] Erin is kind.[(triple3)] Fiona is smart.[(triple4)] @1: Anne is big.[(((triple1) -> rule1))] Erin is not white.[(((triple3) -> rule7))] @2: Anne is kind.[(((triple1 ((triple1) -> rule1)) -> rule8))] @3: Anne is not white.[(((((triple1 ((triple1) -> rule1)) -> rule8)) -> rule7))]