Charlie is blue. Charlie is green. Charlie is young. Dave is blue. Dave is cold. Dave is green. Dave is red. Dave is round. Dave is smart. Dave is young. Erin is blue. Erin is green. Erin is red. Erin is round. Erin is smart. Erin is young. If Dave is not young then Dave is not round. If something is red then it is blue. If Charlie is green then Charlie is cold. Cold things are red. All smart things are red. All round things are green. If Dave is round and Dave is young then Dave is green. If Dave is smart then Dave is red.
Erin is not green.
@0: Charlie is blue.[(triple1 OR ((((((triple2) -> rule3)) -> rule4)) -> rule2))] Charlie is green.[(triple2)] Charlie is young.[(triple3)] Dave is blue.[(triple4 OR ((triple7) -> rule2) OR ((((triple5) -> rule4)) -> rule2) OR ((((triple9) -> rule5)) -> rule2) OR ((((triple9) -> rule8)) -> rule2))] Dave is cold.[(triple5)] Dave is green.[(triple6 OR ((triple8) -> rule6) OR ((triple8 triple10) -> rule7))] Dave is red.[(triple7 OR ((triple5) -> rule4) OR ((triple9) -> rule5) OR ((triple9) -> rule8))] Dave is round.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10)] Erin is blue.[(triple11 OR ((triple13) -> rule2) OR ((((triple15) -> rule5)) -> rule2))] Erin is green.[(triple12 OR ((triple14) -> rule6))] Erin is red.[(triple13 OR ((triple15) -> rule5))] Erin is round.[(triple14)] Erin is smart.[(triple15)] Erin is young.[(triple16)] @1: Charlie is cold.[(((triple2) -> rule3))] @2: Charlie is red.[(((((triple2) -> rule3)) -> rule4))]