The bald eagle is round. The dog needs the bald eagle. The dog sees the bald eagle. If the dog visits the bald eagle and the bald eagle is round then the bald eagle is blue. If the dog needs the bald eagle then the dog visits the bald eagle. If the dog needs the bald eagle and the bald eagle is young then the bald eagle sees the dog. If someone needs the dog and they are round then the dog visits the bald eagle. If the bald eagle visits the dog and the dog sees the bald eagle then the dog is green. If someone needs the dog and they visit the dog then the dog is green.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
If the dog visits the bald eagle and the bald eagle is round then the bald eagle is blue.
((("dog" "visits" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("bald eagle" "is" "blue" "+"))
If the dog needs the bald eagle then the dog visits the bald eagle.
((("dog" "needs" "bald eagle" "+")) -> ("dog" "visits" "bald eagle" "+"))
If the dog needs the bald eagle and the bald eagle is young then the bald eagle sees the dog.
((("dog" "needs" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("bald eagle" "sees" "dog" "+"))
If someone needs the dog and they are round then the dog visits the bald eagle.
((("someone" "needs" "dog" "+") ("someone" "is" "round" "+")) -> ("dog" "visits" "bald eagle" "+"))
If the bald eagle visits the dog and the dog sees the bald eagle then the dog is green.
((("bald eagle" "visits" "dog" "+") ("dog" "sees" "bald eagle" "+")) -> ("dog" "is" "green" "+"))
If someone needs the dog and they visit the dog then the dog is green.
((("someone" "needs" "dog" "+") ("someone" "visits" "dog" "+")) -> ("dog" "is" "green" "+"))
The bald eagle is round.
True
1
proof
[(triple1)]
("bald eagle" "is" "round" "+")
triple1
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The dog visits the bald eagle.
True
2
proof
[(((triple2) -> rule2))]
("dog" "visits" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog does not visit the bald eagle.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "visits" "bald eagle" "-")
((triple2) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle is blue.
True
4
proof
[(((((triple2) -> rule2) triple1) -> rule1))]
("bald eagle" "is" "blue" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The bald eagle is not blue.
False
4
inv-proof
[(((((triple2) -> rule2) triple1) -> rule1))]
("bald eagle" "is" "blue" "-")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "green" "-")
The bald eagle sees the dog.
Unknown
rconc
[@1: The bald eagle sees the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "dog" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The bald eagle visits the dog.
Unknown
random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The bald eagle is round.[(triple1)] The dog needs the bald eagle.[(triple2)] The dog sees the bald eagle.[(triple3)] @1: The dog visits the bald eagle.[(((triple2) -> rule2))] @2: The bald eagle is blue.[(((((triple2) -> rule2) triple1) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple2
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple3
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2