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