The bear likes the rabbit. The cat likes the rabbit. The rabbit visits the tiger. The tiger chases the bear. If someone visits the tiger then the tiger does not chase the rabbit.
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
If someone visits the tiger then the tiger does not chase the rabbit.
((("someone" "visits" "tiger" "+")) -> ("tiger" "chases" "rabbit" "-"))
The cat likes the rabbit.
True
1
proof
[(triple2)]
("cat" "likes" "rabbit" "+")
triple2
The cat does not like the rabbit.
False
1
inv-proof
[(triple2)]
("cat" "likes" "rabbit" "-")
triple2
The tiger does not chase the rabbit.
True
2
proof
[(((triple3) -> rule1))]
("tiger" "chases" "rabbit" "-")
((triple3) -> (rule1 % int1))
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
int1
The tiger chases the rabbit.
False
2
inv-proof
[(((triple3) -> rule1))]
("tiger" "chases" "rabbit" "+")
((triple3) -> (rule1 % int1))
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
int1
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The cat visits the bear.
Unknown
random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "+")
The cat does not like the tiger.
Unknown
inv-random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "-")
The tiger likes the bear.
Unknown
random
[@0: The tiger likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bear" "+")
@0: The bear likes the rabbit.[(triple1)] The cat likes the rabbit.[(triple2)] The rabbit visits the tiger.[(triple3)] The tiger chases the bear.[(triple4)] @1: The tiger does not chase the rabbit.[(((triple3) -> rule1))]
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple2
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple3
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple4
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
((triple3) -> (rule1 % int1))
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
int1