Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is white. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is white. Big things are kind. Nice things are cold.
Dave is nice.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple5) -> rule2))] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple1) -> rule1))] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is white.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple12) -> rule2))] Fiona is green.[(triple10)] Fiona is kind.[(triple11 OR ((triple8) -> rule1))] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13)] Fiona is white.[(triple14)]