The cat is big. The cat is not blue. The cat is cold. The cat is nice. The cat is round. All big people are round. If the cat is not nice then the cat is not blue.
The cat sees the cat.
@0: The cat is big.[(triple1)] The cat is cold.[(triple3)] The cat is nice.[(triple4)] The cat is not blue.[(triple2)] The cat is round.[(triple5 OR ((triple1) -> rule1))]