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