The cat is big. The cat is blue. The cat is green. The cat is red. The cat is young. Green, big things are blue.
The cat does not need the cat.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2 OR ((triple3 triple1) -> rule1))] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5)]