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