Bob is not nice. Charlie is big. Charlie is blue. Charlie is kind. Charlie is round. Charlie is white. Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is not round. Fiona is white. If something is white and cold then it is blue.
Dave is blue.
@0: Bob is not nice.[(triple1)] Charlie is big.[(triple2)] Charlie is blue.[(triple3)] Charlie is kind.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Dave is blue.[(triple7)] Dave is cold.[(triple8)] Dave is kind.[(triple9)] Dave is nice.[(triple10)] Dave is round.[(triple11)] Fiona is big.[(triple12)] Fiona is blue.[(triple13 OR ((triple16 triple14) -> rule1))] Fiona is cold.[(triple14)] Fiona is not round.[(triple15)] Fiona is white.[(triple16)]