The bear likes the lion. The bear likes the rabbit. The lion is cold. The lion is green. The lion is rough. The lion is round. The lion likes the bear. The lion likes the rabbit. The lion visits the bear. The lion visits the rabbit. The rabbit eats the bear. The rabbit eats the lion. The rabbit is blue. The rabbit likes the bear. The rabbit likes the lion. The rabbit visits the bear. If something visits the lion and it eats the lion then the lion visits the bear. If something likes the rabbit then it eats the bear. If something eats the rabbit then it is rough. If something visits the rabbit and the rabbit likes the lion then the lion is cold. If the lion visits the bear and the lion likes the bear then the bear is green. If something visits the lion and the lion likes the rabbit then it is green. If the lion visits the bear then the lion likes the bear. If something likes the lion and the lion is rough then it eats the rabbit.
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something visits the lion and it eats the lion then the lion visits the bear.
((("something" "visits" "lion" "+") ("something" "eats" "lion" "+")) -> ("lion" "visits" "bear" "+"))
If something likes the rabbit then it eats the bear.
((("something" "likes" "rabbit" "+")) -> ("something" "eats" "bear" "+"))
If something eats the rabbit then it is rough.
((("something" "eats" "rabbit" "+")) -> ("something" "is" "rough" "+"))
If something visits the rabbit and the rabbit likes the lion then the lion is cold.
((("something" "visits" "rabbit" "+") ("rabbit" "likes" "lion" "+")) -> ("lion" "is" "cold" "+"))
If the lion visits the bear and the lion likes the bear then the bear is green.
((("lion" "visits" "bear" "+") ("lion" "likes" "bear" "+")) -> ("bear" "is" "green" "+"))
If something visits the lion and the lion likes the rabbit then it is green.
((("something" "visits" "lion" "+") ("lion" "likes" "rabbit" "+")) -> ("something" "is" "green" "+"))
If the lion visits the bear then the lion likes the bear.
((("lion" "visits" "bear" "+")) -> ("lion" "likes" "bear" "+"))
If something likes the lion and the lion is rough then it eats the rabbit.
((("something" "likes" "lion" "+") ("lion" "is" "rough" "+")) -> ("something" "eats" "rabbit" "+"))
The lion likes the rabbit.
True
1
proof
[(triple8)]
("lion" "likes" "rabbit" "+")
triple8
The lion is not round.
False
1
inv-proof
[(triple6)]
("lion" "is" "round" "-")
triple6
The bear eats the bear.
True
2
proof
[(((triple2) -> rule2))]
("bear" "eats" "bear" "+")
((triple2) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is not green.
False
3
inv-proof
[(((triple9 triple7) -> rule5) OR ((triple9 ((triple9) -> rule7)) -> rule5))]
("bear" "is" "green" "-")
((triple9 triple7) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple9 ((triple9) -> (rule7 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "green" "-")
The lion eats the rabbit.
Unknown
rconc
[@1: The lion eats the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "eats" "rabbit" "+")
The bear does not eat the lion.
Unknown
inv-random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The bear likes the lion.[(triple1)] The bear likes the rabbit.[(triple2)] The lion is cold.[(triple3 OR ((triple10 triple15) -> rule4))] The lion is green.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6)] The lion likes the bear.[(triple7 OR ((triple9) -> rule7))] The lion likes the rabbit.[(triple8)] The lion visits the bear.[(triple9)] The lion visits the rabbit.[(triple10)] The rabbit eats the bear.[(triple11)] The rabbit eats the lion.[(triple12)] The rabbit is blue.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the lion.[(triple15)] The rabbit visits the bear.[(triple16)] @1: The bear eats the bear.[(((triple2) -> rule2))] The bear eats the rabbit.[(((triple1 triple5) -> rule8))] The bear is green.[(((triple9 triple7) -> rule5) OR ((triple9 ((triple9) -> rule7)) -> rule5))] The lion eats the bear.[(((triple8) -> rule2))] The rabbit eats the rabbit.[(((triple15 triple5) -> rule8))] @2: The bear is rough.[(((((triple1 triple5) -> rule8)) -> rule3))] The rabbit is rough.[(((((triple15 triple5) -> rule8)) -> rule3))]
The bear likes the lion.
("bear" "likes" "lion" "+")
triple1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
((triple10 triple15) -> (rule4 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion likes the bear.
("lion" "likes" "bear" "+")
triple7
((triple9) -> (rule7 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple8
The lion visits the bear.
("lion" "visits" "bear" "+")
triple9
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple10
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple11
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple12
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple13
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple14
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple15
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple16
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple2) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
((triple1 triple5) -> (rule8 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((triple9 triple7) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple9 ((triple9) -> (rule7 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion eats the bear.
("lion" "eats" "bear" "+")
((triple8) -> (rule2 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple15 triple5) -> (rule8 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((((triple1 triple5) -> (rule8 % int2))) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
((((triple15 triple5) -> (rule8 % int2))) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2