The cat is big. The cat is nice. The cat visits the rabbit. The lion is round. The lion needs the tiger. The rabbit is big. The rabbit is blue. The rabbit likes the lion. The tiger is blue. The tiger is nice. If someone is nice then they like the cat. If someone likes the tiger then they like the cat. If someone likes the tiger then they like the lion. If someone likes the rabbit then they like the cat. If the tiger likes the lion then the tiger visits the cat. If someone likes the cat then they are blue. If someone needs the cat and the cat is nice then the cat visits the tiger. If the rabbit is nice then the rabbit is big.
The tiger is nice.
@0: The cat is big.[(triple1)] The cat is nice.[(triple2)] The cat visits the rabbit.[(triple3)] The lion is round.[(triple4)] The lion needs the tiger.[(triple5)] The rabbit is big.[(triple6)] The rabbit is blue.[(triple7)] The rabbit likes the lion.[(triple8)] The tiger is blue.[(triple9 OR ((((triple10) -> rule1)) -> rule6))] The tiger is nice.[(triple10)] @1: The cat likes the cat.[(((triple2) -> rule1))] The tiger likes the cat.[(((triple10) -> rule1))] @2: The cat is blue.[(((((triple2) -> rule1)) -> rule6))]