Anne is big. Anne is cold. Anne is quiet. Anne is rough. Anne is round. Anne is white. Anne is young. Erin is big. Erin is cold. Erin is quiet. Erin is rough. Erin is round. Erin is white. Erin is young. If Erin is white then Erin is big. If Anne is white then Anne is cold. If something is cold then it is quiet.
Anne is white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple6) -> rule2))] Anne is quiet.[(triple3 OR ((triple2) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Erin is big.[(triple8 OR ((triple13) -> rule1))] Erin is cold.[(triple9)] Erin is quiet.[(triple10 OR ((triple9) -> rule3))] Erin is rough.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14)]