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