The dog chases the lion. The dog chases the rabbit. The dog eats the rabbit. The dog is blue. The dog is red. The dog is rough. The dog likes the rabbit. The lion chases the rabbit. The lion eats the dog. The lion is red. The lion likes the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit eats the lion. The rabbit is rough. The rabbit likes the lion. If someone likes the lion then the lion chases the dog. If the lion eats the dog and the dog likes the lion then the dog chases the rabbit. If someone eats the lion then they eat the rabbit. If someone is red then they like the rabbit. If someone likes the dog and they are kind then they eat the dog. If someone is blue and they eat the rabbit then the rabbit chases the dog. If the lion chases the rabbit and the rabbit is blue then the lion eats the dog. If someone eats the dog and they eat the rabbit then the dog eats the lion.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
If someone likes the lion then the lion chases the dog.
((("someone" "likes" "lion" "+")) -> ("lion" "chases" "dog" "+"))
If the lion eats the dog and the dog likes the lion then the dog chases the rabbit.
((("lion" "eats" "dog" "+") ("dog" "likes" "lion" "+")) -> ("dog" "chases" "rabbit" "+"))
If someone eats the lion then they eat the rabbit.
((("someone" "eats" "lion" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is red then they like the rabbit.
((("someone" "is" "red" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the dog and they are kind then they eat the dog.
((("someone" "likes" "dog" "+") ("someone" "is" "kind" "+")) -> ("someone" "eats" "dog" "+"))
If someone is blue and they eat the rabbit then the rabbit chases the dog.
((("someone" "is" "blue" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "chases" "dog" "+"))
If the lion chases the rabbit and the rabbit is blue then the lion eats the dog.
((("lion" "chases" "rabbit" "+") ("rabbit" "is" "blue" "+")) -> ("lion" "eats" "dog" "+"))
If someone eats the dog and they eat the rabbit then the dog eats the lion.
((("someone" "eats" "dog" "+") ("someone" "eats" "rabbit" "+")) -> ("dog" "eats" "lion" "+"))
The rabbit eats the dog.
True
1
proof
[(triple13)]
("rabbit" "eats" "dog" "+")
triple13
The dog is not blue.
False
1
inv-proof
[(triple4)]
("dog" "is" "blue" "-")
triple4
The rabbit eats the rabbit.
True
2
proof
[(((triple14) -> rule3))]
("rabbit" "eats" "rabbit" "+")
((triple14) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
False
2
inv-proof
[(((triple14) -> rule3))]
("rabbit" "eats" "rabbit" "-")
((triple14) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog eats the lion.
True
4
proof
[(((triple13 ((triple14) -> rule3)) -> rule8))]
("dog" "eats" "lion" "+")
((triple13 ((triple14) -> (rule3 % int2))) -> (rule8 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The dog does not eat the lion.
False
4
inv-proof
[(((triple13 ((triple14) -> rule3)) -> rule8))]
("dog" "eats" "lion" "-")
((triple13 ((triple14) -> (rule3 % int2))) -> (rule8 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "dog" "+")
The lion does not eat the rabbit.
Unknown
inv-rconc
[@1: The lion eats the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "rabbit" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The dog chases the lion.[(triple1)] The dog chases the rabbit.[(triple2)] The dog eats the rabbit.[(triple3 OR ((((triple13 ((triple14) -> rule3)) -> rule8)) -> rule3))] The dog is blue.[(triple4)] The dog is red.[(triple5)] The dog is rough.[(triple6)] The dog likes the rabbit.[(triple7 OR ((triple5) -> rule4))] The lion chases the rabbit.[(triple8)] The lion eats the dog.[(triple9)] The lion is red.[(triple10)] The lion likes the rabbit.[(triple11 OR ((triple10) -> rule4))] The rabbit chases the dog.[(triple12 OR ((triple4 triple3) -> rule6) OR ((triple4 ((((triple13 ((triple14) -> rule3)) -> rule8)) -> rule3)) -> rule6))] The rabbit eats the dog.[(triple13)] The rabbit eats the lion.[(triple14)] The rabbit is rough.[(triple15)] The rabbit likes the lion.[(triple16)] @1: The lion chases the dog.[(((triple16) -> rule1))] The rabbit eats the rabbit.[(((triple14) -> rule3))] @2: The dog eats the lion.[(((triple13 ((triple14) -> rule3)) -> rule8))]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple3
((((triple13 ((triple14) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple7
((triple5) -> (rule4 % int1))
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple8
The lion eats the dog.
("lion" "eats" "dog" "+")
triple9
The lion is red.
("lion" "is" "red" "+")
triple10
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple11
((triple10) -> (rule4 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple12
((triple4 triple3) -> (rule6 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
((triple4 ((((triple13 ((triple14) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog eats the lion.
("dog" "eats" "lion" "+")
int3
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int4
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple13
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple14
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple15
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple16
The lion chases the dog.
("lion" "chases" "dog" "+")
((triple16) -> (rule1 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple14) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
((triple13 ((triple14) -> (rule3 % int2))) -> (rule8 % int1))
The dog eats the lion.
("dog" "eats" "lion" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2