Dave is green. Dave is nice. Dave is red. Dave is smart. Erin is big. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is smart. Nice people are cold. If someone is big and cold then they are kind. If someone is green then they are big.
Dave is not kind.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Erin is big.[(triple5 OR ((triple6) -> rule3))] Erin is green.[(triple6)] Erin is kind.[(triple7 OR ((triple5 ((triple8) -> rule1)) -> rule2) OR ((((triple6) -> rule3) ((triple8) -> rule1)) -> rule2))] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is smart.[(triple10)] @1: Dave is big.[(((triple1) -> rule3))] Dave is cold.[(((triple2) -> rule1))] Erin is cold.[(((triple8) -> rule1))] @2: Dave is kind.[(((((triple1) -> rule3) ((triple2) -> rule1)) -> rule2))]