The cat is big. The cat is round. The cat is young. The cat needs the tiger. The cat sees the tiger. The cat visits the tiger. The tiger is big. The tiger is blue. The tiger is cold. The tiger is round. The tiger sees the cat. The tiger visits the cat. If something visits the tiger then the tiger is blue. If something needs the cat then the cat needs the tiger.
The tiger does not need the tiger.
@0: The cat is big.[(triple1)] The cat is round.[(triple2)] The cat is young.[(triple3)] The cat needs the tiger.[(triple4)] The cat sees the tiger.[(triple5)] The cat visits the tiger.[(triple6)] The tiger is big.[(triple7)] The tiger is blue.[(triple8 OR ((triple6) -> rule1))] The tiger is cold.[(triple9)] The tiger is round.[(triple10)] The tiger sees the cat.[(triple11)] The tiger visits the cat.[(triple12)]