Anne is blue. Anne is not nice. Anne is quiet. Anne is round. Anne is smart. Anne is young. Bob is not big. Bob is blue. Bob is not nice. Erin is not big. Erin is not blue. Erin is quiet. Erin is round. Erin is smart. Erin is not young. If someone is young then they are smart.
Anne is big.
@0: Anne is blue.[(triple1)] Anne is not nice.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple6) -> rule1))] Anne is young.[(triple6)] Bob is blue.[(triple8)] Bob is not big.[(triple7)] Bob is not nice.[(triple9)] Erin is not big.[(triple10)] Erin is not blue.[(triple11)] Erin is not young.[(triple15)] Erin is quiet.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14)]