Anne is furry. Bob is smart. Bob is white. Dave is quiet. Erin is rough. Erin is not smart. Erin is young. All rough people are furry. If someone is white and not young then they are cold. Smart people are rough.
Dave is quiet.
@0: Anne is furry.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Dave is quiet.[(triple4)] Erin is not smart.[(triple6)] Erin is rough.[(triple5)] Erin is young.[(triple7)] @1: Bob is rough.[(((triple2) -> rule3))] Erin is furry.[(((triple5) -> rule1))] @2: Bob is furry.[(((((triple2) -> rule3)) -> rule1))]