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