The cat eats the lion. The cat eats the rabbit. The cat is green. The cat is red. The cat does not like the rabbit. The cat visits the lion. The lion does not eat the cat. The lion is kind. The lion likes the cat. The lion visits the cat. The rabbit eats the cat. The rabbit is green. The rabbit is rough. The rabbit likes the cat. The rabbit likes the lion. If someone visits the lion and they are green then they eat the lion. If someone visits the lion and the lion visits the cat then the cat visits the lion. If someone eats the cat and they are not rough then the cat is not kind. If someone eats the rabbit and the rabbit does not like the lion then the rabbit is not green. If the cat visits the rabbit and the cat is not kind then the cat likes the rabbit. If someone likes the rabbit then the rabbit is young. If someone eats the rabbit and they do not like the rabbit then the rabbit visits the cat. If someone visits the cat and the cat eats the rabbit then the rabbit eats the lion.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion does not eat the cat.
("lion" "eats" "cat" "-")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
If someone visits the lion and they are green then they eat the lion.
((("someone" "visits" "lion" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "lion" "+"))
If someone visits the lion and the lion visits the cat then the cat visits the lion.
((("someone" "visits" "lion" "+") ("lion" "visits" "cat" "+")) -> ("cat" "visits" "lion" "+"))
If someone eats the cat and they are not rough then the cat is not kind.
((("someone" "eats" "cat" "+") ("someone" "is" "rough" "~")) -> ("cat" "is" "kind" "-"))
If someone eats the rabbit and the rabbit does not like the lion then the rabbit is not green.
((("someone" "eats" "rabbit" "+") ("rabbit" "likes" "lion" "~")) -> ("rabbit" "is" "green" "-"))
If the cat visits the rabbit and the cat is not kind then the cat likes the rabbit.
((("cat" "visits" "rabbit" "+") ("cat" "is" "kind" "~")) -> ("cat" "likes" "rabbit" "+"))
If someone likes the rabbit then the rabbit is young.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If someone eats the rabbit and they do not like the rabbit then the rabbit visits the cat.
((("someone" "eats" "rabbit" "+") ("someone" "likes" "rabbit" "~")) -> ("rabbit" "visits" "cat" "+"))
If someone visits the cat and the cat eats the rabbit then the rabbit eats the lion.
((("someone" "visits" "cat" "+") ("cat" "eats" "rabbit" "+")) -> ("rabbit" "eats" "lion" "+"))
The rabbit likes the cat.
True
1
proof
[(triple14)]
("rabbit" "likes" "cat" "+")
triple14
The cat likes the rabbit.
False
1
inv-proof
[(triple5)]
("cat" "likes" "rabbit" "+")
triple5
The rabbit eats the lion.
True
3
proof
[(((triple10 triple2) -> rule8) OR ((((triple2 triple5) -> rule7) triple2) -> rule8))]
("rabbit" "eats" "lion" "+")
((triple10 triple2) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
((((triple2 triple5) -> (rule7 % int2)) triple2) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The rabbit does not eat the lion.
False
3
inv-proof
[(((triple10 triple2) -> rule8) OR ((((triple2 triple5) -> rule7) triple2) -> rule8))]
("rabbit" "eats" "lion" "-")
((triple10 triple2) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
((((triple2 triple5) -> (rule7 % int2)) triple2) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "young" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "lion" "+")
The lion does not visit the rabbit.
Unknown
inv-random
[@0: The lion visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "rabbit" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The cat does not like the rabbit.[(triple5)] The cat eats the lion.[(triple1 OR ((triple6 triple3) -> rule1))] The cat eats the rabbit.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat visits the lion.[(triple6)] The lion does not eat the cat.[(triple7)] The lion is kind.[(triple8)] The lion likes the cat.[(triple9)] The lion visits the cat.[(triple10)] The rabbit eats the cat.[(triple11)] The rabbit is green.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the cat.[(triple14)] The rabbit likes the lion.[(triple15)] @1: The rabbit eats the lion.[(((triple10 triple2) -> rule8) OR ((((triple2 triple5) -> rule7) triple2) -> rule8))] The rabbit visits the cat.[(((triple2 triple5) -> rule7))]
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
triple5
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
((triple6 triple3) -> (rule1 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat visits the lion.
("cat" "visits" "lion" "+")
triple6
The lion does not eat the cat.
("lion" "eats" "cat" "-")
triple7
The lion is kind.
("lion" "is" "kind" "+")
triple8
The lion likes the cat.
("lion" "likes" "cat" "+")
triple9
The lion visits the cat.
("lion" "visits" "cat" "+")
triple10
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple13
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple14
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple15
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
((triple10 triple2) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
((((triple2 triple5) -> (rule7 % int2)) triple2) -> (rule8 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
((triple2 triple5) -> (rule7 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1