Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Fiona is furry. Fiona is nice. Fiona is rough. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is rough. Harry is round. Kind things are furry.
Fiona is furry.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple4) -> rule1))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12 OR ((triple13) -> rule1))] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is rough.[(triple15)] Harry is round.[(triple16)]