The bald eagle is blue. The dog sees the bald eagle. If the bald eagle sees the dog and the bald eagle is young then the dog sees the bald eagle. If someone is blue then they see the bald eagle. If someone needs the dog then the dog needs the bald eagle. If someone likes the bald eagle and the bald eagle needs the dog then the bald eagle sees the dog. If someone sees the bald eagle then the bald eagle needs the dog. If someone sees the dog and the dog sees the bald eagle then they like the dog.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
If the bald eagle sees the dog and the bald eagle is young then the dog sees the bald eagle.
((("bald eagle" "sees" "dog" "+") ("bald eagle" "is" "young" "+")) -> ("dog" "sees" "bald eagle" "+"))
If someone is blue then they see the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone needs the dog then the dog needs the bald eagle.
((("someone" "needs" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle needs the dog then the bald eagle sees the dog.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "needs" "dog" "+")) -> ("bald eagle" "sees" "dog" "+"))
If someone sees the bald eagle then the bald eagle needs the dog.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
If someone sees the dog and the dog sees the bald eagle then they like the dog.
((("someone" "sees" "dog" "+") ("dog" "sees" "bald eagle" "+")) -> ("someone" "likes" "dog" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The bald eagle does not see the dog.
Unknown
inv-rconc
[@1: The bald eagle sees the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "dog" "-")
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 blue.[(triple1)] The dog sees the bald eagle.[(triple2)] @1: The bald eagle needs the dog.[(((triple2) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] The bald eagle sees the bald eagle.[(((triple1) -> rule2))] @2: The dog needs the bald eagle.[(((((triple2) -> rule5)) -> rule3) OR ((((((triple1) -> rule2)) -> rule5)) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((triple2) -> (rule5 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
((((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3