Bob is rough. Bob is smart. Bob is white. Dave is green. Erin is cold. Erin is quiet. Erin is white. All smart, cold people are white. Smart people are white. If someone is smart and cold then they are green. All quiet, smart people are white. All white, green people are kind. If someone is quiet and white then they are smart.
Dave is not smart.
@0: Bob is rough.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3 OR ((triple2) -> rule2))] Dave is green.[(triple4)] Erin is cold.[(triple5)] Erin is quiet.[(triple6)] Erin is white.[(triple7)] @1: Erin is smart.[(((triple6 triple7) -> rule6))] @2: Erin is green.[(((((triple6 triple7) -> rule6) triple5) -> rule3))] @3: Erin is kind.[(((triple7 ((((triple6 triple7) -> rule6) triple5) -> rule3)) -> rule5))]