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 is green.
@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)]