The bald eagle chases the cow. The bald eagle is blue. The bald eagle is cold. The bald eagle visits the cow. The cow chases the bald eagle. The cow is blue. The cow is rough. The cow visits the rabbit. The lion chases the cow. The lion is blue. The rabbit chases the bald eagle. The rabbit is blue. If something eats the lion and the lion eats the cow then the lion is cold. If something chases the cow then the cow visits the rabbit. If something chases the rabbit and the rabbit is blue then it eats the lion. If something is cold and it visits the cow then it chases the bald eagle. If something chases the lion and it visits the bald eagle then the bald eagle eats the rabbit. Green things are rough.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is blue.
("lion" "is" "blue" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
If something eats the lion and the lion eats the cow then the lion is cold.
((("something" "eats" "lion" "+") ("lion" "eats" "cow" "+")) -> ("lion" "is" "cold" "+"))
If something chases the cow then the cow visits the rabbit.
((("something" "chases" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
If something chases the rabbit and the rabbit is blue then it eats the lion.
((("something" "chases" "rabbit" "+") ("rabbit" "is" "blue" "+")) -> ("something" "eats" "lion" "+"))
If something is cold and it visits the cow then it chases the bald eagle.
((("something" "is" "cold" "+") ("something" "visits" "cow" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the lion and it visits the bald eagle then the bald eagle eats the rabbit.
((("something" "chases" "lion" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
Green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
The rabbit chases the bald eagle.
True
1
proof
[(triple11)]
("rabbit" "chases" "bald eagle" "+")
triple11
The lion does not chase the cow.
False
1
inv-proof
[(triple9)]
("lion" "chases" "cow" "-")
triple9
The bald eagle chases the bald eagle.
True
3
proof
[(((triple3 triple4) -> rule4))]
("bald eagle" "chases" "bald eagle" "+")
((triple3 triple4) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
3
inv-proof
[(((triple3 triple4) -> rule4))]
("bald eagle" "chases" "bald eagle" "-")
((triple3 triple4) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The cow does not eat the lion.
Unknown
inv-rconc
[@1: The cow eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "lion" "-")
The rabbit eats the lion.
Unknown
rconc
[@1: The rabbit eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "eats" "lion" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
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 chases the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle visits the cow.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow is blue.[(triple6)] The cow is rough.[(triple7)] The cow visits the rabbit.[(triple8 OR ((triple1) -> rule2) OR ((triple9) -> rule2))] The lion chases the cow.[(triple9)] The lion is blue.[(triple10)] The rabbit chases the bald eagle.[(triple11)] The rabbit is blue.[(triple12)] @1: The bald eagle chases the bald eagle.[(((triple3 triple4) -> rule4))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
((triple1) -> (rule2 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
((triple9) -> (rule2 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple11
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple12
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple3 triple4) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1