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 does not need 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)]