The bear chases the rabbit. The bear is green. The bear is not kind. The bear is rough. The bear likes the lion. The lion is round. The lion visits the bear. The rabbit is not kind. The rabbit likes the bear. The rabbit likes the lion. The rabbit visits the bear. The rabbit visits the lion. If something likes the lion then it chases the lion. If something visits the lion then it chases the bear. If something chases the rabbit and it is rough then it visits the bear.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something likes the lion then it chases the lion.
((("something" "likes" "lion" "+")) -> ("something" "chases" "lion" "+"))
If something visits the lion then it chases the bear.
((("something" "visits" "lion" "+")) -> ("something" "chases" "bear" "+"))
If something chases the rabbit and it is rough then it visits the bear.
((("something" "chases" "rabbit" "+") ("something" "is" "rough" "+")) -> ("something" "visits" "bear" "+"))
The lion is round.
True
1
proof
[(triple6)]
("lion" "is" "round" "+")
triple6
The rabbit does not visit the lion.
False
1
inv-proof
[(triple12)]
("rabbit" "visits" "lion" "-")
triple12
The rabbit chases the lion.
True
2
proof
[(((triple10) -> rule1))]
("rabbit" "chases" "lion" "+")
((triple10) -> (rule1 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit does not chase the bear.
False
2
inv-proof
[(((triple12) -> rule2))]
("rabbit" "chases" "bear" "-")
((triple12) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "bear" "-")
The lion chases the bear.
Unknown
rconc
[@1: The lion chases the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "bear" "+")
The lion does not like the rabbit.
Unknown
inv-random
[@0: The lion likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "rabbit" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bear chases the rabbit.[(triple1)] The bear is green.[(triple2)] The bear is not kind.[(triple3)] The bear is rough.[(triple4)] The bear likes the lion.[(triple5)] The lion is round.[(triple6)] The lion visits the bear.[(triple7)] The rabbit is not kind.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit likes the lion.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The bear chases the lion.[(((triple5) -> rule1))] The bear visits the bear.[(((triple1 triple4) -> rule3))] The rabbit chases the bear.[(((triple12) -> rule2))] The rabbit chases the lion.[(((triple10) -> rule1))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is not kind.
("bear" "is" "kind" "-")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear likes the lion.
("bear" "likes" "lion" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion visits the bear.
("lion" "visits" "bear" "+")
triple7
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple8
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple9
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple10
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple11
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12
The bear chases the lion.
("bear" "chases" "lion" "+")
((triple5) -> (rule1 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple1 triple4) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((triple12) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
((triple10) -> (rule1 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1