The cat is green. The cat is kind. The cat is not red. The cat is rough. The cat is not young. If the cat is kind then the cat is rough. Kind people are green. If someone is green and not red then they are kind. If someone is red and kind then they are rough. If someone is red and not green then they are young. Green people are not young.
The cat does not chase the cat.
@0: The cat is green.[(triple1 OR ((triple2) -> rule2))] The cat is kind.[(triple2 OR ((triple1 triple3) -> rule3))] The cat is not red.[(triple3)] The cat is not young.[(triple5 OR ((triple1) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] The cat is rough.[(triple4 OR ((triple2) -> rule1) OR ((((triple1 triple3) -> rule3)) -> rule1))]