The dog chases the tiger. The dog eats the mouse. The dog visits the lion. The lion chases the mouse. The lion chases the tiger. The lion is kind. The lion visits the mouse. The lion visits the tiger. The mouse chases the lion. The mouse chases the tiger. The tiger chases the mouse. If someone eats the tiger and they are red then they visit the mouse. If someone chases the mouse then they visit the dog. If someone chases the tiger and the tiger visits the dog then the tiger eats the mouse. If the mouse visits the dog then the dog chases the tiger. If someone chases the mouse and they eat the mouse then the mouse eats the tiger. If someone chases the dog then the dog visits the lion. If the mouse eats the lion and the lion visits the dog then the mouse chases the tiger. If someone eats the tiger then they are red.
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
If someone eats the tiger and they are red then they visit the mouse.
((("someone" "eats" "tiger" "+") ("someone" "is" "red" "+")) -> ("someone" "visits" "mouse" "+"))
If someone chases the mouse then they visit the dog.
((("someone" "chases" "mouse" "+")) -> ("someone" "visits" "dog" "+"))
If someone chases the tiger and the tiger visits the dog then the tiger eats the mouse.
((("someone" "chases" "tiger" "+") ("tiger" "visits" "dog" "+")) -> ("tiger" "eats" "mouse" "+"))
If the mouse visits the dog then the dog chases the tiger.
((("mouse" "visits" "dog" "+")) -> ("dog" "chases" "tiger" "+"))
If someone chases the mouse and they eat the mouse then the mouse eats the tiger.
((("someone" "chases" "mouse" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "eats" "tiger" "+"))
If someone chases the dog then the dog visits the lion.
((("someone" "chases" "dog" "+")) -> ("dog" "visits" "lion" "+"))
If the mouse eats the lion and the lion visits the dog then the mouse chases the tiger.
((("mouse" "eats" "lion" "+") ("lion" "visits" "dog" "+")) -> ("mouse" "chases" "tiger" "+"))
If someone eats the tiger then they are red.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "red" "+"))
The lion chases the mouse.
True
1
proof
[(triple4)]
("lion" "chases" "mouse" "+")
triple4
The lion does not chase the mouse.
False
1
inv-proof
[(triple4)]
("lion" "chases" "mouse" "-")
triple4
The tiger visits the dog.
True
2
proof
[(((triple11) -> rule2))]
("tiger" "visits" "dog" "+")
((triple11) -> (rule2 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The lion does not visit the dog.
False
2
inv-proof
[(((triple4) -> rule2))]
("lion" "visits" "dog" "-")
((triple4) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The tiger eats the mouse.
True
4
proof
[(((triple1 ((triple11) -> rule2)) -> rule3) OR ((triple10 ((triple11) -> rule2)) -> rule3) OR ((triple5 ((triple11) -> rule2)) -> rule3))]
("tiger" "eats" "mouse" "+")
((triple1 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
((triple10 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
((triple5 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The tiger does not eat the mouse.
False
4
inv-proof
[(((triple1 ((triple11) -> rule2)) -> rule3) OR ((triple10 ((triple11) -> rule2)) -> rule3) OR ((triple5 ((triple11) -> rule2)) -> rule3))]
("tiger" "eats" "mouse" "-")
((triple1 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
((triple10 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
((triple5 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The mouse eats the tiger.
True
6
proof
[(((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) OR ((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) OR ((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5))]
("mouse" "eats" "tiger" "+")
((triple11 ((triple1 ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
((triple11 ((triple10 ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
((triple11 ((triple5 ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
The mouse does not eat the tiger.
False
6
inv-proof
[(((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) OR ((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) OR ((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5))]
("mouse" "eats" "tiger" "-")
((triple11 ((triple1 ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
((triple11 ((triple10 ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
((triple11 ((triple5 ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
The mouse is red.
True
7
proof
[(((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8))]
("mouse" "is" "red" "+")
((((triple11 ((triple1 ((triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int4
((((triple11 ((triple10 ((triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int4
((((triple11 ((triple5 ((triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int4
The mouse is not red.
False
7
inv-proof
[(((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8))]
("mouse" "is" "red" "-")
((((triple11 ((triple1 ((triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int4
((((triple11 ((triple10 ((triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int4
((((triple11 ((triple5 ((triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int4
The mouse visits the mouse.
True
14
proof
[(((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1))]
("mouse" "visits" "mouse" "+")
((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
The mouse does not visit the mouse.
False
14
inv-proof
[(((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1))]
("mouse" "visits" "mouse" "-")
((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
The tiger does not visit the mouse.
Unknown
inv-rconc
[@1: The tiger visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "mouse" "-")
The tiger is red.
Unknown
rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "is" "red" "+")
The dog does not visit the mouse.
Unknown
inv-rconc
[@1: The dog visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "mouse" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "red" "+")
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "red" "-")
The dog visits the dog.
Unknown
rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "dog" "+")
The lion does not eat the tiger.
Unknown
inv-random
[@0: The lion eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "tiger" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The lion eats the mouse.
Unknown
random
[@0: The lion eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "mouse" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The dog chases the tiger.[(triple1)] The dog eats the mouse.[(triple2)] The dog visits the lion.[(triple3)] The lion chases the mouse.[(triple4)] The lion chases the tiger.[(triple5)] The lion is kind.[(triple6)] The lion visits the mouse.[(triple7)] The lion visits the tiger.[(triple8)] The mouse chases the lion.[(triple9)] The mouse chases the tiger.[(triple10)] The tiger chases the mouse.[(triple11)] @1: The lion visits the dog.[(((triple4) -> rule2))] The tiger visits the dog.[(((triple11) -> rule2))] @2: The tiger eats the mouse.[(((triple1 ((triple11) -> rule2)) -> rule3) OR ((triple10 ((triple11) -> rule2)) -> rule3) OR ((triple5 ((triple11) -> rule2)) -> rule3))] @3: The mouse eats the tiger.[(((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) OR ((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) OR ((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5))] @4: The mouse is red.[(((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8))] @5: The mouse visits the mouse.[(((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple1 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple10 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1) OR ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5) ((((triple11 ((triple5 ((triple11) -> rule2)) -> rule3)) -> rule5)) -> rule8)) -> rule1))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple2
The dog visits the lion.
("dog" "visits" "lion" "+")
triple3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple4
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple6
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple7
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple8
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple9
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple10
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple11
The lion visits the dog.
("lion" "visits" "dog" "+")
((triple4) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
((triple11) -> (rule2 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
((triple1 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
((triple10 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
((triple5 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
((triple11 ((triple1 ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
((triple11 ((triple10 ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
((triple11 ((triple5 ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
((((triple11 ((triple1 ((triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int4
((((triple11 ((triple10 ((triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int4
((((triple11 ((triple5 ((triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int3
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int4
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple1 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple10 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5
((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11 ((triple5 ((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int4
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int5