The bald eagle needs the lion. The cow is green. The dog chases the lion. The lion is round. If something chases the lion and the lion is rough then it needs the dog. Green things are blue.
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The cow is green.
("cow" "is" "green" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The lion is round.
("lion" "is" "round" "+")
If something chases the lion and the lion is rough then it needs the dog.
((("something" "chases" "lion" "+") ("lion" "is" "rough" "+")) -> ("something" "needs" "dog" "+"))
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
The lion is round.
True
1
proof
[(triple4)]
("lion" "is" "round" "+")
triple4
The bald eagle does not need the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "lion" "-")
triple1
The cow is blue.
True
2
proof
[(((triple2) -> rule2))]
("cow" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is not blue.
False
2
inv-proof
[(((triple2) -> rule2))]
("cow" "is" "blue" "-")
((triple2) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow does not need the dog.
Unknown
inv-rconc
[@1: The cow needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "needs" "dog" "-")
The dog is blue.
Unknown
rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "blue" "+")
The bald eagle does not chase the cow.
Unknown
inv-random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bald eagle needs the lion.[(triple1)] The cow is green.[(triple2)] The dog chases the lion.[(triple3)] The lion is round.[(triple4)] @1: The cow is blue.[(((triple2) -> rule2))]
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The dog chases the lion.
("dog" "chases" "lion" "+")
triple3
The lion is round.
("lion" "is" "round" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
((triple2) -> (rule2 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1