The cat is big. The cat is blue. The cat is cold. The cat is red. The cat is young. If the cat is young then the cat is cold.
The cat sees the cat.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3 OR ((triple5) -> rule1))] The cat is red.[(triple4)] The cat is young.[(triple5)]