The cat is blue. The cat is nice. The cat is rough. The cat is not round. The cat is young. If someone is nice then they are young. Round people are young.
The cat does not chase the cat.
@0: The cat is blue.[(triple1)] The cat is nice.[(triple2)] The cat is not round.[(triple4)] The cat is rough.[(triple3)] The cat is young.[(triple5 OR ((triple2) -> rule1))]