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