The bald eagle sees the rabbit. The cow eats the bald eagle. The rabbit eats the cow. If something sees the cow and it is kind then it is nice. If the rabbit eats the cow then the cow likes the bald eagle. Kind things are rough.
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
If something sees the cow and it is kind then it is nice.
((("something" "sees" "cow" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If the rabbit eats the cow then the cow likes the bald eagle.
((("rabbit" "eats" "cow" "+")) -> ("cow" "likes" "bald eagle" "+"))
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
The rabbit eats the cow.
True
1
proof
[(triple3)]
("rabbit" "eats" "cow" "+")
triple3
The bald eagle does not see the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "rabbit" "-")
triple1
The cow likes the bald eagle.
True
2
proof
[(((triple3) -> rule2))]
("cow" "likes" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow does not like the bald eagle.
False
2
inv-proof
[(((triple3) -> rule2))]
("cow" "likes" "bald eagle" "-")
((triple3) -> (rule2 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bald eagle sees the rabbit.[(triple1)] The cow eats the bald eagle.[(triple2)] The rabbit eats the cow.[(triple3)] @1: The cow likes the bald eagle.[(((triple3) -> rule2))]
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple3
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1