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