Charlie is cold. Charlie is green. Charlie is smart. Dave is big. Dave is not blue. Dave is cold. Dave is green. Dave is red. Erin is not blue. Erin is cold. Erin is not red. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. All red, blue people are big. If someone is blue and not big then they are not smart. If someone is cold and not blue then they are not smart.
Erin is not big.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is smart.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple6)] Dave is green.[(triple7)] Dave is not blue.[(triple5)] Dave is red.[(triple8)] Erin is cold.[(triple10)] Erin is not blue.[(triple9)] Erin is not red.[(triple11)] Fiona is big.[(triple12)] Fiona is blue.[(triple13)] Fiona is cold.[(triple14)] Fiona is green.[(triple15)] Fiona is kind.[(triple16)] @1: Dave is not smart.[(((triple6 triple5) -> rule3))] Erin is not smart.[(((triple10 triple9) -> rule3))]