Bob is cold. Bob is red. Bob is smart. Dave is white. Erin is cold. Erin is green. Erin is round. If something is cold then it is green. If something is white then it is cold. Round things are green. If something is round and cold then it is red. If Dave is cold then Dave is red. If Dave is round then Dave is green.
Bob is not quiet.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Dave is white.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6 OR ((triple5) -> rule1) OR ((triple7) -> rule3))] Erin is round.[(triple7)] @1: Bob is green.[(((triple1) -> rule1))] Dave is cold.[(((triple4) -> rule2))] Erin is red.[(((triple7 triple5) -> rule4))] @2: Dave is green.[(((((triple4) -> rule2)) -> rule1))] Dave is red.[(((((triple4) -> rule2)) -> rule5))]