The bald eagle visits the rabbit. The lion chases the tiger. The rabbit visits the lion. The tiger is rough. If someone visits the rabbit then the rabbit likes the tiger. If someone chases the lion and the lion likes the bald eagle then they are nice.
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If someone visits the rabbit then the rabbit likes the tiger.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "likes" "tiger" "+"))
If someone chases the lion and the lion likes the bald eagle then they are nice.
((("someone" "chases" "lion" "+") ("lion" "likes" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
The rabbit visits the lion.
True
1
proof
[(triple3)]
("rabbit" "visits" "lion" "+")
triple3
The lion does not chase the tiger.
False
1
inv-proof
[(triple2)]
("lion" "chases" "tiger" "-")
triple2
The rabbit likes the tiger.
True
2
proof
[(((triple1) -> rule1))]
("rabbit" "likes" "tiger" "+")
((triple1) -> (rule1 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The rabbit does not like the tiger.
False
2
inv-proof
[(((triple1) -> rule1))]
("rabbit" "likes" "tiger" "-")
((triple1) -> (rule1 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The tiger is nice.
Unknown
rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "nice" "+")
The bald eagle does not like the rabbit.
Unknown
inv-random
[@0: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The rabbit visits the bald eagle.
Unknown
random
[@0: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bald eagle" "+")
@0: The bald eagle visits the rabbit.[(triple1)] The lion chases the tiger.[(triple2)] The rabbit visits the lion.[(triple3)] The tiger is rough.[(triple4)] @1: The rabbit likes the tiger.[(((triple1) -> rule1))]
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple2
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
((triple1) -> (rule1 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1