The bald eagle sees the dog. The dog sees the tiger. The tiger is not round. If something is green and it sees the dog then it visits the bald eagle. If something sees the tiger then it visits the bald eagle. If the bald eagle visits the tiger and the tiger sees the bald eagle then the tiger visits the bald eagle. If something is round and it visits the dog then it needs the bald eagle. If something visits the bald eagle then it is not young. If the tiger visits the dog and the dog needs the bald eagle then the tiger sees the bald eagle.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The tiger is not round.
("tiger" "is" "round" "-")
If something is green and it sees the dog then it visits the bald eagle.
((("something" "is" "green" "+") ("something" "sees" "dog" "+")) -> ("something" "visits" "bald eagle" "+"))
If something sees the tiger then it visits the bald eagle.
((("something" "sees" "tiger" "+")) -> ("something" "visits" "bald eagle" "+"))
If the bald eagle visits the tiger and the tiger sees the bald eagle then the tiger visits the bald eagle.
((("bald eagle" "visits" "tiger" "+") ("tiger" "sees" "bald eagle" "+")) -> ("tiger" "visits" "bald eagle" "+"))
If something is round and it visits the dog then it needs the bald eagle.
((("something" "is" "round" "+") ("something" "visits" "dog" "+")) -> ("something" "needs" "bald eagle" "+"))
If something visits the bald eagle then it is not young.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "young" "-"))
If the tiger visits the dog and the dog needs the bald eagle then the tiger sees the bald eagle.
((("tiger" "visits" "dog" "+") ("dog" "needs" "bald eagle" "+")) -> ("tiger" "sees" "bald eagle" "+"))
The tiger is not round.
True
1
proof
[(triple3)]
("tiger" "is" "round" "-")
triple3
The bald eagle does not see the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "dog" "-")
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 dog is not young.
True
3
proof
[(((((triple2) -> rule2)) -> rule5))]
("dog" "is" "young" "-")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The dog is not young.
("dog" "is" "young" "-")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog is young.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule5))]
("dog" "is" "young" "+")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The dog is not young.
("dog" "is" "young" "-")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The dog needs the bald eagle.
Unknown
rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "needs" "bald eagle" "+")
The tiger does not see the bald eagle.
Unknown
inv-rconc
[@1: The tiger sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "sees" "bald eagle" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The bald eagle sees the dog.[(triple1)] The dog sees the tiger.[(triple2)] The tiger is not round.[(triple3)] @1: The dog visits the bald eagle.[(((triple2) -> rule2))] @2: The dog is not young.[(((((triple2) -> rule2)) -> rule5))]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple2
The tiger is not round.
("tiger" "is" "round" "-")
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 dog is not young.
("dog" "is" "young" "-")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The dog is not young.
("dog" "is" "young" "-")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2