The cat is kind. The cat is not nice. The cat is red. The cat is rough. The cat is round. If the cat is rough and the cat is not kind then the cat is red. Red people are rough. Kind, nice people are rough. Rough people are round. If the cat is rough then the cat is round. If someone is rough then they are not nice.
The cat is not rough.
@0: The cat is kind.[(triple1)] The cat is not nice.[(triple2 OR ((triple4) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] The cat is red.[(triple3)] The cat is rough.[(triple4 OR ((triple3) -> rule2))] The cat is round.[(triple5 OR ((triple4) -> rule4) OR ((triple4) -> rule5) OR ((((triple3) -> rule2)) -> rule4) OR ((((triple3) -> rule2)) -> rule5))]