The cat eats the tiger. The cat is green. The cat likes the lion. The cat sees the lion. The lion is blue. The lion is nice. The lion likes the cat. The lion sees the cat. The tiger is big. The tiger likes the lion. If someone is big then they like the tiger. If the tiger is kind and the tiger eats the lion then the lion eats the cat. If someone likes the tiger then the tiger is green. If someone sees the cat and they eat the tiger then the tiger is kind. If someone likes the cat and they like the lion then the lion likes the cat. If someone eats the tiger then the tiger sees the cat. If someone likes the tiger then they eat the tiger. If the cat is nice and the cat likes the tiger then the cat likes the lion.
The lion does not see the lion.
@0: The cat eats the tiger.[(triple1)] The cat is green.[(triple2)] The cat likes the lion.[(triple3)] The cat sees the lion.[(triple4)] The lion is blue.[(triple5)] The lion is nice.[(triple6)] The lion likes the cat.[(triple7)] The lion sees the cat.[(triple8)] The tiger is big.[(triple9)] The tiger likes the lion.[(triple10)] @1: The tiger likes the tiger.[(((triple9) -> rule1))] The tiger sees the cat.[(((triple1) -> rule6) OR ((((((triple9) -> rule1)) -> rule7)) -> rule6))] @2: The tiger eats the tiger.[(((((triple9) -> rule1)) -> rule7))] The tiger is green.[(((((triple9) -> rule1)) -> rule3))] @3: The tiger is kind.[(((((triple1) -> rule6) ((((triple9) -> rule1)) -> rule7)) -> rule4) OR ((((((((triple9) -> rule1)) -> rule7)) -> rule6) ((((triple9) -> rule1)) -> rule7)) -> rule4))]