The cat is young. The cat likes the tiger. The dog eats the cat. The dog is cold. The dog is nice. The dog sees the rabbit. The rabbit eats the dog. The rabbit is big. The rabbit is nice. The tiger eats the rabbit. The tiger is big. The tiger is nice. If someone likes the dog then they eat the rabbit. If the tiger likes the dog then the tiger sees the cat. If someone is big then they eat the dog. If someone is young then they see the cat. If someone is young then they eat the dog. If someone eats the dog then they like the dog. If someone is cold and they see the dog then they are young. If someone likes the dog then the dog is young. If someone is big then they like the tiger.
The cat does not see the dog.
@0: The cat is young.[(triple1)] The cat likes the tiger.[(triple2)] The dog eats the cat.[(triple3)] The dog is cold.[(triple4)] The dog is nice.[(triple5)] The dog sees the rabbit.[(triple6)] The rabbit eats the dog.[(triple7 OR ((triple8) -> rule3))] The rabbit is big.[(triple8)] The rabbit is nice.[(triple9)] The tiger eats the rabbit.[(triple10 OR ((((((triple11) -> rule3)) -> rule6)) -> rule1))] The tiger is big.[(triple11)] The tiger is nice.[(triple12)] @1: The cat eats the dog.[(((triple1) -> rule5))] The cat sees the cat.[(((triple1) -> rule4))] The rabbit likes the dog.[(((triple7) -> rule6) OR ((((triple8) -> rule3)) -> rule6))] The rabbit likes the tiger.[(((triple8) -> rule9))] The tiger eats the dog.[(((triple11) -> rule3))] The tiger likes the tiger.[(((triple11) -> rule9))] @2: The cat likes the dog.[(((((triple1) -> rule5)) -> rule6))] The dog is young.[(((((triple7) -> rule6)) -> rule8) OR ((((((triple1) -> rule5)) -> rule6)) -> rule8) OR ((((((triple11) -> rule3)) -> rule6)) -> rule8) OR ((((((triple8) -> rule3)) -> rule6)) -> rule8))] The rabbit eats the rabbit.[(((((triple7) -> rule6)) -> rule1) OR ((((((triple8) -> rule3)) -> rule6)) -> rule1))] The tiger likes the dog.[(((((triple11) -> rule3)) -> rule6))] @3: The cat eats the rabbit.[(((((((triple1) -> rule5)) -> rule6)) -> rule1))] The dog eats the dog.[(((((((triple7) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple1) -> rule5)) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule5))] The dog sees the cat.[(((((((triple7) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule4))] The tiger sees the cat.[(((((((triple11) -> rule3)) -> rule6)) -> rule2))] @4: The dog likes the dog.[(((((((((triple7) -> rule6)) -> rule8)) -> rule5)) -> rule6) OR ((((((((((triple1) -> rule5)) -> rule6)) -> rule8)) -> rule5)) -> rule6) OR ((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule5)) -> rule6) OR ((((((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule5)) -> rule6))] @5: The dog eats the rabbit.[(((((((((((triple7) -> rule6)) -> rule8)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((((triple1) -> rule5)) -> rule6)) -> rule8)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((((triple11) -> rule3)) -> rule6)) -> rule8)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule5)) -> rule6)) -> rule1))]