The bald eagle is green. The dog is rough. The dog is not round. If the bald eagle is nice and the bald eagle sees the dog then the bald eagle is round. If something sees the bald eagle and it does not visit the bald eagle then the bald eagle is round. If the bald eagle sees the dog then the bald eagle is not rough. If something chases the dog and it does not chase the bald eagle then the bald eagle visits the dog. If something is green then it sees the dog. If something visits the bald eagle then it visits the dog.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is not round.
("dog" "is" "round" "-")
If the bald eagle is nice and the bald eagle sees the dog then the bald eagle is round.
((("bald eagle" "is" "nice" "+") ("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "is" "round" "+"))
If something sees the bald eagle and it does not visit the bald eagle then the bald eagle is round.
((("something" "sees" "bald eagle" "+") ("something" "visits" "bald eagle" "~")) -> ("bald eagle" "is" "round" "+"))
If the bald eagle sees the dog then the bald eagle is not rough.
((("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "is" "rough" "-"))
If something chases the dog and it does not chase the bald eagle then the bald eagle visits the dog.
((("something" "chases" "dog" "+") ("something" "chases" "bald eagle" "~")) -> ("bald eagle" "visits" "dog" "+"))
If something is green then it sees the dog.
((("something" "is" "green" "+")) -> ("something" "sees" "dog" "+"))
If something visits the bald eagle then it visits the dog.
((("something" "visits" "bald eagle" "+")) -> ("something" "visits" "dog" "+"))
The bald eagle is green.
True
1
proof
[(triple1)]
("bald eagle" "is" "green" "+")
triple1
The dog is round.
False
1
inv-proof
[(triple3)]
("dog" "is" "round" "+")
triple3
The bald eagle sees the dog.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "sees" "dog" "+")
((triple1) -> (rule5 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle does not see the dog.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "sees" "dog" "-")
((triple1) -> (rule5 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "round" "-")
The dog sees the dog.
Unknown
rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "sees" "dog" "+")
The dog does not visit the bald eagle.
Unknown
inv-random
[@0: The dog visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bald eagle" "-")
The bald eagle chases the dog.
Unknown
random
[@0: The bald eagle chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "dog" "+")
@0: The bald eagle is green.[(triple1)] The dog is not round.[(triple3)] The dog is rough.[(triple2)] @1: The bald eagle sees the dog.[(((triple1) -> rule5))] @2: The bald eagle is not rough.[(((((triple1) -> rule5)) -> rule3))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The dog is not round.
("dog" "is" "round" "-")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
((triple1) -> (rule5 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2