The bald eagle is red. The bald eagle likes the rabbit. The bald eagle needs the cat. The bald eagle does not visit the cat. The bald eagle visits the rabbit. The cat needs the cow. The cat visits the bald eagle. The cow is red. The cow needs the bald eagle. The cow needs the cat. The cow visits the cat. The rabbit visits the cat. If something is red and it needs the cat then it is not green. If something likes the cat and the cat visits the cow then the cow does not like the cat. If something visits the bald eagle then the bald eagle is not green. If something needs the cow and it visits the bald eagle then it is rough. If something needs the bald eagle and it is red then the bald eagle does not visit the cat. If something likes the bald eagle and the bald eagle likes the rabbit then the bald eagle needs the cat.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something is red and it needs the cat then it is not green.
((("something" "is" "red" "+") ("something" "needs" "cat" "+")) -> ("something" "is" "green" "-"))
If something likes the cat and the cat visits the cow then the cow does not like the cat.
((("something" "likes" "cat" "+") ("cat" "visits" "cow" "+")) -> ("cow" "likes" "cat" "-"))
If something visits the bald eagle then the bald eagle is not green.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "green" "-"))
If something needs the cow and it visits the bald eagle then it is rough.
((("something" "needs" "cow" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something needs the bald eagle and it is red then the bald eagle does not visit the cat.
((("something" "needs" "bald eagle" "+") ("something" "is" "red" "+")) -> ("bald eagle" "visits" "cat" "-"))
If something likes the bald eagle and the bald eagle likes the rabbit then the bald eagle needs the cat.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("bald eagle" "needs" "cat" "+"))
The bald eagle visits the rabbit.
True
1
proof
[(triple5)]
("bald eagle" "visits" "rabbit" "+")
triple5
The bald eagle does not need the cat.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "cat" "-")
triple3
The cat is rough.
True
3
proof
[(((triple6 triple7) -> rule4))]
("cat" "is" "rough" "+")
((triple6 triple7) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cow is green.
False
3
inv-proof
[(((triple8 triple10) -> rule1))]
("cow" "is" "green" "+")
((triple8 triple10) -> (rule1 % int1))
The cow is not green.
("cow" "is" "green" "-")
int1
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "rough" "-")
The bald eagle is rough.
Unknown
rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The rabbit does not visit the cow.
Unknown
inv-random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle does not visit the cat.[(triple4 OR ((triple9 triple8) -> rule5))] The bald eagle is red.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle visits the rabbit.[(triple5)] The cat needs the cow.[(triple6)] The cat visits the bald eagle.[(triple7)] The cow is red.[(triple8)] The cow needs the bald eagle.[(triple9)] The cow needs the cat.[(triple10)] The cow visits the cat.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The bald eagle is not green.[(((triple7) -> rule3) OR ((triple1 triple3) -> rule1))] The cat is rough.[(((triple6 triple7) -> rule4))] The cow is not green.[(((triple8 triple10) -> rule1))]
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple4
((triple9 triple8) -> (rule5 % int1))
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple5
The cat needs the cow.
("cat" "needs" "cow" "+")
triple6
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple9
The cow needs the cat.
("cow" "needs" "cat" "+")
triple10
The cow visits the cat.
("cow" "visits" "cat" "+")
triple11
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple12
The bald eagle is not green.
("bald eagle" "is" "green" "-")
((triple7) -> (rule3 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
((triple1 triple3) -> (rule1 % int1))
The bald eagle is not green.
("bald eagle" "is" "green" "-")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple6 triple7) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cow is not green.
("cow" "is" "green" "-")
((triple8 triple10) -> (rule1 % int1))
The cow is not green.
("cow" "is" "green" "-")
int1