Anne is blue. Anne is smart. Charlie is big. Charlie is kind. Charlie is rough. Charlie is not smart. Dave is red. Dave is rough. Dave is smart. Erin is big. Erin is blue. Erin is smart. If Erin is not smart then Erin is rough. If something is blue and smart then it is cold. If something is kind and smart then it is rough. If Erin is rough and Erin is not smart then Erin is not kind. If Erin is cold and Erin is big then Erin is kind. If something is rough and not cold then it is not kind. If something is blue and rough then it is kind. If something is cold and rough then it is big.
Erin is not big.
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Charlie is big.[(triple3)] Charlie is kind.[(triple4)] Charlie is not smart.[(triple6)] Charlie is rough.[(triple5)] Dave is red.[(triple7)] Dave is rough.[(triple8)] Dave is smart.[(triple9)] Erin is big.[(triple10)] Erin is blue.[(triple11)] Erin is smart.[(triple12)] @1: Anne is cold.[(((triple1 triple2) -> rule2))] Erin is cold.[(((triple11 triple12) -> rule2))] @2: Erin is kind.[(((((triple11 triple12) -> rule2) triple10) -> rule5))] @3: Erin is rough.[(((((((triple11 triple12) -> rule2) triple10) -> rule5) triple12) -> rule3))]