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