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