Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is white. Fiona is young. Harry is big. Harry is furry. Harry is young. If Charlie is white then Charlie is furry. If Harry is white and Harry is blue then Harry is cold.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple5) -> rule1))] Charlie is nice.[(triple4)] Charlie is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] Harry is big.[(triple13)] Harry is furry.[(triple14)] Harry is young.[(triple15)]