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