Bob is big. Bob is kind. Dave is big. Dave is kind. Dave is smart. Erin is big. Erin is furry. Erin is quiet. Erin is smart. Erin is young. If someone is furry then they are white. Young, white people are kind.
Erin is not white.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Dave is big.[(triple3)] Dave is kind.[(triple4)] Dave is smart.[(triple5)] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10)] @1: Erin is white.[(((triple7) -> rule1))] @2: Erin is kind.[(((triple10 ((triple7) -> rule1)) -> rule2))]