The bald eagle chases the lion. The bald eagle likes the cow. The cow chases the tiger. The cow is young. The cow sees the lion. The cow sees the tiger. The lion chases the bald eagle. The lion is red. The lion sees the bald eagle. The tiger is nice. The tiger likes the lion. The tiger sees the bald eagle. If someone is kind then they chase the lion. If someone is young then they like the tiger.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is red.
("lion" "is" "red" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone is kind then they chase the lion.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "lion" "+"))
If someone is young then they like the tiger.
((("someone" "is" "young" "+")) -> ("someone" "likes" "tiger" "+"))
The bald eagle likes the cow.
True
1
proof
[(triple2)]
("bald eagle" "likes" "cow" "+")
triple2
The lion does not chase the bald eagle.
False
1
inv-proof
[(triple7)]
("lion" "chases" "bald eagle" "-")
triple7
The cow likes the tiger.
True
2
proof
[(((triple4) -> rule2))]
("cow" "likes" "tiger" "+")
((triple4) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow does not like the tiger.
False
2
inv-proof
[(((triple4) -> rule2))]
("cow" "likes" "tiger" "-")
((triple4) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The bald eagle does not like the tiger.
Unknown
inv-rconc
[@1: The bald eagle likes the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "tiger" "-")
The lion likes the tiger.
Unknown
rconc
[@1: The lion likes the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "likes" "tiger" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow chases the tiger.[(triple3)] The cow is young.[(triple4)] The cow sees the lion.[(triple5)] The cow sees the tiger.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion is red.[(triple8)] The lion sees the bald eagle.[(triple9)] The tiger is nice.[(triple10)] The tiger likes the lion.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The cow likes the tiger.[(((triple4) -> rule2))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow sees the lion.
("cow" "sees" "lion" "+")
triple5
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple6
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple7
The lion is red.
("lion" "is" "red" "+")
triple8
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The cow likes the tiger.
("cow" "likes" "tiger" "+")
((triple4) -> (rule2 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1