The bald eagle does not like the cow. The cow is rough. The rabbit does not chase the cow. If someone chases the rabbit then they are big. If someone is rough then they do not chase the rabbit. If someone is red and they do not like the cow then the cow likes the rabbit.
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
The cow is rough.
("cow" "is" "rough" "+")
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
If someone chases the rabbit then they are big.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they do not chase the rabbit.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "rabbit" "-"))
If someone is red and they do not like the cow then the cow likes the rabbit.
((("someone" "is" "red" "+") ("someone" "likes" "cow" "~")) -> ("cow" "likes" "rabbit" "+"))
The bald eagle does not like the cow.
True
1
proof
[(triple1)]
("bald eagle" "likes" "cow" "-")
triple1
The cow is not rough.
False
1
inv-proof
[(triple2)]
("cow" "is" "rough" "-")
triple2
The cow does not chase the rabbit.
True
2
proof
[(((triple2) -> rule2))]
("cow" "chases" "rabbit" "-")
((triple2) -> (rule2 % int1))
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
int1
The cow chases the rabbit.
False
2
inv-proof
[(((triple2) -> rule2))]
("cow" "chases" "rabbit" "+")
((triple2) -> (rule2 % int1))
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
int1
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "-")
The cow is big.
Unknown
rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "big" "+")
The cow does not like the bald eagle.
Unknown
inv-random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "-")
The bald eagle chases the rabbit.
Unknown
random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "+")
@0: The bald eagle does not like the cow.[(triple1)] The cow is rough.[(triple2)] The rabbit does not chase the cow.[(triple3)] @1: The cow does not chase the rabbit.[(((triple2) -> rule2))]
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
triple1
The cow is rough.
("cow" "is" "rough" "+")
triple2
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
triple3
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
((triple2) -> (rule2 % int1))
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
int1