Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is red. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is red. Erin is round. Erin is white. If someone is green then they are white. If someone is white and green then they are round.
Dave is not round.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is red.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Erin is green.[(triple9)] Erin is red.[(triple10)] Erin is round.[(triple11 OR ((triple12 triple9) -> rule2) OR ((((triple9) -> rule1) triple9) -> rule2))] Erin is white.[(triple12 OR ((triple9) -> rule1))] @1: Dave is white.[(((triple4) -> rule1))] @2: Dave is round.[(((((triple4) -> rule1) triple4) -> rule2))]