Bob is cold. Dave is white. Erin is smart. Gary is furry. If something is rough then it is smart. Rough, green things are smart. All cold things are rough. If Bob is smart and Bob is rough then Bob is cold. Smart, cold things are round. If something is green then it is round. Rough, cold things are not white. White, green things are not cold.
Dave is not white.
@0: Bob is cold.[(triple1)] Dave is white.[(triple2)] Erin is smart.[(triple3)] Gary is furry.[(triple4)] @1: Bob is rough.[(((triple1) -> rule3))] @2: Bob is not white.[(((((triple1) -> rule3) triple1) -> rule7))] Bob is smart.[(((((triple1) -> rule3)) -> rule1))] @3: Bob is round.[(((((((triple1) -> rule3)) -> rule1) triple1) -> rule5))]