Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Charlie is big. Charlie is not cold. Charlie is not nice. Charlie is not quiet. Charlie is red. Charlie is rough. Charlie is not smart. Erin is big. Erin is not red. Erin is not rough. Erin is smart. If Charlie is smart then Charlie is not cold. All quiet people are big. If Erin is rough then Erin is not cold. If Anne is rough and Anne is not quiet then Anne is red. All red, nice people are cold. If someone is red then they are rough. Red people are rough. If someone is smart and not big then they are rough.
Erin is quiet.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple3) -> rule6) OR ((triple3) -> rule7))] Anne is smart.[(triple5)] Charlie is big.[(triple6)] Charlie is not cold.[(triple7)] Charlie is not nice.[(triple8)] Charlie is not quiet.[(triple9)] Charlie is not smart.[(triple12)] Charlie is red.[(triple10)] Charlie is rough.[(triple11 OR ((triple10) -> rule6) OR ((triple10) -> rule7))] Erin is big.[(triple13)] Erin is not red.[(triple14)] Erin is not rough.[(triple15)] Erin is smart.[(triple16)] @1: Anne is big.[(((triple2) -> rule2))] Anne is cold.[(((triple3 triple1) -> rule5))]