The dog chases the squirrel. The dog eats the lion. The dog eats the squirrel. The dog likes the lion. The lion chases the dog. The lion eats the squirrel. The lion is red. The lion likes the dog. The squirrel chases the lion. The squirrel is young. If someone chases the dog and the dog is nice then they chase the lion. If someone chases the lion and they are red then the lion chases the squirrel. If someone is red and they eat the dog then the dog likes the squirrel. If someone chases the lion then the lion is big. If someone chases the squirrel and the squirrel chases the lion then the lion chases the dog. If someone eats the squirrel then the squirrel chases the lion. If someone likes the dog and they like the lion then they chase the squirrel. If someone chases the squirrel then they like the squirrel.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If someone chases the dog and the dog is nice then they chase the lion.
((("someone" "chases" "dog" "+") ("dog" "is" "nice" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the lion and they are red then the lion chases the squirrel.
((("someone" "chases" "lion" "+") ("someone" "is" "red" "+")) -> ("lion" "chases" "squirrel" "+"))
If someone is red and they eat the dog then the dog likes the squirrel.
((("someone" "is" "red" "+") ("someone" "eats" "dog" "+")) -> ("dog" "likes" "squirrel" "+"))
If someone chases the lion then the lion is big.
((("someone" "chases" "lion" "+")) -> ("lion" "is" "big" "+"))
If someone chases the squirrel and the squirrel chases the lion then the lion chases the dog.
((("someone" "chases" "squirrel" "+") ("squirrel" "chases" "lion" "+")) -> ("lion" "chases" "dog" "+"))
If someone eats the squirrel then the squirrel chases the lion.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "chases" "lion" "+"))
If someone likes the dog and they like the lion then they chase the squirrel.
((("someone" "likes" "dog" "+") ("someone" "likes" "lion" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the squirrel then they like the squirrel.
((("someone" "chases" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
The dog likes the lion.
True
1
proof
[(triple4)]
("dog" "likes" "lion" "+")
triple4
The lion does not chase the dog.
False
1
inv-proof
[(triple5 OR ((triple1 triple9) -> rule5) OR ((triple1 ((triple3) -> rule6)) -> rule5) OR ((triple1 ((triple6) -> rule6)) -> rule5))]
("lion" "chases" "dog" "-")
triple5
((triple1 triple9) -> (rule5 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
((triple1 ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
((triple1 ((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The dog likes the squirrel.
True
2
proof
[(((triple1) -> rule8))]
("dog" "likes" "squirrel" "+")
((triple1) -> (rule8 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The dog does not like the squirrel.
False
2
inv-proof
[(((triple1) -> rule8))]
("dog" "likes" "squirrel" "-")
((triple1) -> (rule8 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The lion does not chase the squirrel.
Unknown
inv-rconc
[@2: The lion chases the squirrel.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("lion" "chases" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@2: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel does not like the dog.
Unknown
inv-random
[@0: The squirrel likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "dog" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The dog chases the squirrel.[(triple1)] The dog eats the lion.[(triple2)] The dog eats the squirrel.[(triple3)] The dog likes the lion.[(triple4)] The lion chases the dog.[(triple5 OR ((triple1 triple9) -> rule5) OR ((triple1 ((triple3) -> rule6)) -> rule5) OR ((triple1 ((triple6) -> rule6)) -> rule5))] The lion eats the squirrel.[(triple6)] The lion is red.[(triple7)] The lion likes the dog.[(triple8)] The squirrel chases the lion.[(triple9 OR ((triple3) -> rule6) OR ((triple6) -> rule6))] The squirrel is young.[(triple10)] @1: The dog likes the squirrel.[(((triple1) -> rule8))] The lion is big.[(((triple9) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple6) -> rule6)) -> rule4))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog eats the lion.
("dog" "eats" "lion" "+")
triple2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple3
The dog likes the lion.
("dog" "likes" "lion" "+")
triple4
The lion chases the dog.
("lion" "chases" "dog" "+")
triple5
((triple1 triple9) -> (rule5 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
((triple1 ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
((triple1 ((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The lion likes the dog.
("lion" "likes" "dog" "+")
triple8
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple9
((triple3) -> (rule6 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
((triple6) -> (rule6 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple1) -> (rule8 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((triple9) -> (rule4 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
((((triple6) -> (rule6 % int2))) -> (rule4 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2