Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is white. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. Cold, round things are quiet.
Bob is nice.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple1 triple6) -> rule1))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple8 triple13) -> rule1))] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14)]