The cat is blue. The cat is kind. The cat is nice. The cat is rough. The cat is round. If someone is round and kind then they are nice.
The cat does not eat the cat.
@0: The cat is blue.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3 OR ((triple5 triple2) -> rule1))] The cat is rough.[(triple4)] The cat is round.[(triple5)]