The bald eagle is young. The bald eagle likes the lion. The cow chases the lion. The cow is cold. The cow likes the bald eagle. The lion likes the cow. The lion does not see the bald eagle. If someone is cold then they chase the bald eagle. If someone chases the bald eagle then they like the cow.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
If someone is cold then they chase the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the bald eagle then they like the cow.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "likes" "cow" "+"))
The bald eagle likes the lion.
True
1
proof
[(triple2)]
("bald eagle" "likes" "lion" "+")
triple2
The cow does not like the bald eagle.
False
1
inv-proof
[(triple5)]
("cow" "likes" "bald eagle" "-")
triple5
The cow chases the bald eagle.
True
2
proof
[(((triple4) -> rule1))]
("cow" "chases" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow does not chase the bald eagle.
False
2
inv-proof
[(((triple4) -> rule1))]
("cow" "chases" "bald eagle" "-")
((triple4) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow likes the cow.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("cow" "likes" "cow" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The cow does not like the cow.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("cow" "likes" "cow" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2
The lion does not chase the bald eagle.
Unknown
inv-rconc
[@1: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "bald eagle" "-")
The bald eagle likes the cow.
Unknown
rconc
[@2: The bald eagle likes the cow.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "likes" "cow" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
The lion does not like the bald eagle.
Unknown
inv-random
[@0: The lion likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bald eagle" "-")
The cow sees the lion.
Unknown
random
[@0: The cow sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "lion" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle likes the lion.[(triple2)] The cow chases the lion.[(triple3)] The cow is cold.[(triple4)] The cow likes the bald eagle.[(triple5)] The lion does not see the bald eagle.[(triple7)] The lion likes the cow.[(triple6)] @1: The cow chases the bald eagle.[(((triple4) -> rule1))] @2: The cow likes the cow.[(((((triple4) -> rule1)) -> rule2))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The cow chases the lion.
("cow" "chases" "lion" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple5
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
triple7
The lion likes the cow.
("lion" "likes" "cow" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
int2