The bald eagle is blue. The bald eagle visits the rabbit. The cow is cold. The cow is young. The lion chases the rabbit. The lion is big. The lion is rough. The lion visits the bald eagle. The lion visits the cow. The rabbit is young. The rabbit needs the lion. The rabbit visits the bald eagle. If something chases the bald eagle then the bald eagle chases the lion. If the lion is rough then the lion needs the rabbit. If something is big and it chases the rabbit then it chases the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is young.
("cow" "is" "young" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If something chases the bald eagle then the bald eagle chases the lion.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
If the lion is rough then the lion needs the rabbit.
((("lion" "is" "rough" "+")) -> ("lion" "needs" "rabbit" "+"))
If something is big and it chases the rabbit then it chases the cow.
((("something" "is" "big" "+") ("something" "chases" "rabbit" "+")) -> ("something" "chases" "cow" "+"))
The cow is young.
True
1
proof
[(triple4)]
("cow" "is" "young" "+")
triple4
The lion does not visit the cow.
False
1
inv-proof
[(triple9)]
("lion" "visits" "cow" "-")
triple9
The lion needs the rabbit.
True
2
proof
[(((triple7) -> rule2))]
("lion" "needs" "rabbit" "+")
((triple7) -> (rule2 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
The lion does not need the rabbit.
False
2
inv-proof
[(((triple7) -> rule2))]
("lion" "needs" "rabbit" "-")
((triple7) -> (rule2 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
The bald eagle does not chase the cow.
Unknown
inv-rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "cow" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "cow" "+")
The cow does not visit the rabbit.
Unknown
inv-random
[@0: The cow visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "rabbit" "-")
The lion visits the rabbit.
Unknown
random
[@0: The lion visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "rabbit" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The cow is cold.[(triple3)] The cow is young.[(triple4)] The lion chases the rabbit.[(triple5)] The lion is big.[(triple6)] The lion is rough.[(triple7)] The lion visits the bald eagle.[(triple8)] The lion visits the cow.[(triple9)] The rabbit is young.[(triple10)] The rabbit needs the lion.[(triple11)] The rabbit visits the bald eagle.[(triple12)] @1: The lion chases the cow.[(((triple6 triple5) -> rule3))] The lion needs the rabbit.[(((triple7) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple8
The lion visits the cow.
("lion" "visits" "cow" "+")
triple9
The rabbit is young.
("rabbit" "is" "young" "+")
triple10
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple11
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple12
The lion chases the cow.
("lion" "chases" "cow" "+")
((triple6 triple5) -> (rule3 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
((triple7) -> (rule2 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1