The cat is blue. The cat is green. The cat is kind. The cat is red. The cat is rough. If someone is green and rough then they are blue. If someone is rough then they are red. If someone is blue then they are green.
The cat likes the cat.
@0: The cat is blue.[(triple1 OR ((triple2 triple5) -> rule1))] The cat is green.[(triple2 OR ((triple1) -> rule3))] The cat is kind.[(triple3)] The cat is red.[(triple4 OR ((triple5) -> rule2))] The cat is rough.[(triple5)]