Anne is big. Anne is blue. Anne is cold. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Rough people are smart.
Anne is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7 OR ((triple5) -> rule1))] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is quiet.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14 OR ((triple12) -> rule1))]