The cat is green. The cat is kind. The cat is red. The cat is rough. The cat is round. Round, green people are kind.
The cat sees the cat.
@0: The cat is green.[(triple1)] The cat is kind.[(triple2 OR ((triple5 triple1) -> rule1))] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)]