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