Dave is not big. Dave is kind. Dave is nice. Fiona is big. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. All round people are rough. If Dave is not big and Dave is not rough then Dave is nice.
Dave is smart.
@0: Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is not big.[(triple1)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8 OR ((triple9) -> rule1))] Fiona is round.[(triple9)] Fiona is smart.[(triple10)]