Anne is big. Anne is nice. Anne is rough. Anne is smart. Anne is white. Anne is young. Erin is kind. Erin is rough. Erin is young. Fiona is big. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. If Anne is young then Anne is white. If Anne is smart then Anne is big.
Anne is rough.
@0: Anne is big.[(triple1 OR ((triple4) -> rule2))] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple6) -> rule1))] Anne is young.[(triple6)] Erin is kind.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Fiona is big.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16)]