The cat is big. The cat is blue. The cat is kind. The cat is round. The cat is young. Blue things are big.
The cat eats the cat.
@0: The cat is big.[(triple1 OR ((triple2) -> rule1))] The cat is blue.[(triple2)] The cat is kind.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)]