Anne is cold. Charlie is big. Charlie is cold. Dave is big. Dave is blue. Dave is cold. Dave is kind. Erin is big. Erin is cold. Erin is green. If someone is kind then they are blue. If someone is big and cold then they are round. If someone is blue then they are green.
Anne is big.
@0: Anne is cold.[(triple1)] Charlie is big.[(triple2)] Charlie is cold.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5 OR ((triple7) -> rule1))] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] @1: Charlie is round.[(((triple2 triple3) -> rule2))] Dave is green.[(((triple5) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Dave is round.[(((triple4 triple6) -> rule2))] Erin is round.[(((triple8 triple9) -> rule2))]