Anne is big. Anne is cold. Anne is rough. Anne is smart. Dave is cold. Dave is rough. Dave is round. Dave is smart. Dave is young. Erin is big. Erin is cold. Erin is rough. Erin is round. Fiona is green. Fiona is rough. Smart, big things are cold. Green, cold things are big.
Dave is not big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple4 triple1) -> rule1))] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Dave is cold.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple9)] Erin is big.[(triple10)] Erin is cold.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13)] Fiona is green.[(triple14)] Fiona is rough.[(triple15)]