The cat is big. The cat is green. The cat is rough. The cat is round. The cat is young. If something is young and big then it is green.
The cat visits the cat.
@0: The cat is big.[(triple1)] The cat is green.[(triple2 OR ((triple5 triple1) -> rule1))] The cat is rough.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)]