Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is not smart. Erin is big. Erin is blue. Erin is not kind. Erin is quiet. Erin is not smart. Smart, quiet people are kind. If someone is quiet and not big then they are rough. If someone is smart then they are blue. If someone is quiet and smart then they are not blue. If someone is nice and smart then they are not blue. Rough people are nice.
Erin is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple6) -> rule6))] Anne is not smart.[(triple7)] Anne is quiet.[(triple5)] Anne is rough.[(triple6)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is not kind.[(triple10)] Erin is not smart.[(triple12)] Erin is quiet.[(triple11)]