Bob is quiet. Dave is white. Erin is rough. White, young people are blue. All white people are rough. Rough people are smart. Quiet people are white. If someone is smart and young then they are blue. Young people are white. Quiet people are big. All quiet, blue people are rough.
Erin is not rough.
@0: Bob is quiet.[(triple1)] Dave is white.[(triple2)] Erin is rough.[(triple3)] @1: Bob is big.[(((triple1) -> rule7))] Bob is white.[(((triple1) -> rule4))] Dave is rough.[(((triple2) -> rule2))] Erin is smart.[(((triple3) -> rule3))] @2: Bob is rough.[(((((triple1) -> rule4)) -> rule2))] Dave is smart.[(((((triple2) -> rule2)) -> rule3))] @3: Bob is smart.[(((((((triple1) -> rule4)) -> rule2)) -> rule3))]