The bald eagle is rough. The cow eats the bald eagle. The cow is blue. The cow visits the dog. The dog eats the bald eagle. The dog sees the lion. The lion sees the bald eagle. If someone is rough then they eat the lion. If someone sees the bald eagle and they are kind then the bald eagle is cold.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If someone is rough then they eat the lion.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "lion" "+"))
If someone sees the bald eagle and they are kind then the bald eagle is cold.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "kind" "+")) -> ("bald eagle" "is" "cold" "+"))
The cow is blue.
True
1
proof
[(triple3)]
("cow" "is" "blue" "+")
triple3
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple5)]
("dog" "eats" "bald eagle" "-")
triple5
The bald eagle eats the lion.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "eats" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "eats" "lion" "-")
((triple1) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The cow does not eat the lion.
Unknown
inv-rconc
[@1: The cow eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "lion" "-")
The dog eats the lion.
Unknown
rconc
[@1: The dog eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "lion" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle is rough.[(triple1)] The cow eats the bald eagle.[(triple2)] The cow is blue.[(triple3)] The cow visits the dog.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog sees the lion.[(triple6)] The lion sees the bald eagle.[(triple7)] @1: The bald eagle eats the lion.[(((triple1) -> rule1))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow visits the dog.
("cow" "visits" "dog" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog sees the lion.
("dog" "sees" "lion" "+")
triple6
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple7
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1