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