Bob is big. Bob is not blue. Dave is blue. Dave is rough. Dave is white. Erin is cold. Erin is white. Cold, white things are green. If something is big then it is cold. All blue things are big.
Dave is quiet.
@0: Bob is big.[(triple1)] Bob is not blue.[(triple2)] Dave is blue.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Erin is cold.[(triple6)] Erin is white.[(triple7)] @1: Bob is cold.[(((triple1) -> rule2))] Dave is big.[(((triple3) -> rule3))] Erin is green.[(((triple6 triple7) -> rule1))] @2: Dave is cold.[(((((triple3) -> rule3)) -> rule2))] @3: Dave is green.[(((((((triple3) -> rule3)) -> rule2) triple5) -> rule1))]