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