Bob is cold. Bob is round. Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is round. Dave is not smart. Dave is white. Erin is green. Erin is smart. Erin is white. Gary is not cold. Gary is not green. Gary is smart. Gary is white. Smart things are not round. If something is green and not round then it is cold.
Dave is not white.
@0: Bob is cold.[(triple1)] Bob is round.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is not smart.[(triple8)] Dave is round.[(triple7)] Dave is white.[(triple9)] Erin is green.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12)] Gary is not cold.[(triple13)] Gary is not green.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Erin is not round.[(((triple11) -> rule1))] Gary is not round.[(((triple15) -> rule1))] @2: Erin is cold.[(((triple10 ((triple11) -> rule1)) -> rule2))]