Anne is big. Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Fiona is not big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is not smart. All big things are green.
Anne is big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple1) -> rule1))] Anne is kind.[(triple4)] Anne is quiet.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is not big.[(triple8)] Fiona is not smart.[(triple14)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)]