Dave is blue. Dave is smart. Dave is young. Erin is big. Erin is blue. Erin is cold. Erin is not round. Smart, blue people are green. If someone is big and blue then they are green. All round people are smart. If Dave is not blue then Dave is not green. If someone is round and not smart then they are young. Green people are cold. If someone is big and not blue then they are cold. Young, blue people are cold.
Dave is round.
@0: Dave is blue.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6 OR ((((triple4 triple5) -> rule2)) -> rule6))] Erin is not round.[(triple7)] @1: Dave is cold.[(((triple3 triple1) -> rule8) OR ((((triple2 triple1) -> rule1)) -> rule6))] Dave is green.[(((triple2 triple1) -> rule1))] Erin is green.[(((triple4 triple5) -> rule2))]