The cat is kind. The cat is rough. The cat is round. Cold, round people are kind. If the cat is not cold then the cat is round. If someone is cold then they are rough. All kind people are rough. If the cat is not cold then the cat is kind. Kind, round people are nice. Cold people are round. If the cat is not cold and the cat is not kind then the cat is nice.
The cat is cold.
@0: The cat is kind.[(triple1)] The cat is rough.[(triple2 OR ((triple1) -> rule4))] The cat is round.[(triple3)] @1: The cat is nice.[(((triple1 triple3) -> rule6))]