Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is not round. Dave is blue. Dave is cold. Dave is nice. Dave is red. Erin is blue. Erin is cold. Erin is green. Erin is red. Erin is round. Green, red people are kind. All red people are green.
Dave is kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple6) -> rule2))] Anne is kind.[(triple4 OR ((triple3 triple6) -> rule1) OR ((((triple6) -> rule2) triple6) -> rule1))] Anne is nice.[(triple5)] Anne is not round.[(triple7)] Anne is red.[(triple6)] Dave is blue.[(triple8)] Dave is cold.[(triple9)] Dave is nice.[(triple10)] Dave is red.[(triple11)] Erin is blue.[(triple12)] Erin is cold.[(triple13)] Erin is green.[(triple14 OR ((triple15) -> rule2))] Erin is red.[(triple15)] Erin is round.[(triple16)] @1: Dave is green.[(((triple11) -> rule2))] Erin is kind.[(((triple14 triple15) -> rule1) OR ((((triple15) -> rule2) triple15) -> rule1))] @2: Dave is kind.[(((((triple11) -> rule2) triple11) -> rule1))]