The bald eagle is young. The cat eats the bald eagle. The dog is young. The lion is round. If the cat sees the dog and the cat chases the lion then the cat eats the bald eagle. If someone is round then they see the cat. If someone chases the bald eagle then they are round. If someone sees the lion then they chase the lion. If someone eats the cat then they chase the cat. If the dog chases the lion and the lion is round then the lion chases the bald eagle. If the cat sees the bald eagle and the cat is round then the bald eagle sees the lion. If someone sees the dog and the dog is young then the dog eats the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The dog is young.
("dog" "is" "young" "+")
The lion is round.
("lion" "is" "round" "+")
If the cat sees the dog and the cat chases the lion then the cat eats the bald eagle.
((("cat" "sees" "dog" "+") ("cat" "chases" "lion" "+")) -> ("cat" "eats" "bald eagle" "+"))
If someone is round then they see the cat.
((("someone" "is" "round" "+")) -> ("someone" "sees" "cat" "+"))
If someone chases the bald eagle then they are round.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If someone sees the lion then they chase the lion.
((("someone" "sees" "lion" "+")) -> ("someone" "chases" "lion" "+"))
If someone eats the cat then they chase the cat.
((("someone" "eats" "cat" "+")) -> ("someone" "chases" "cat" "+"))
If the dog chases the lion and the lion is round then the lion chases the bald eagle.
((("dog" "chases" "lion" "+") ("lion" "is" "round" "+")) -> ("lion" "chases" "bald eagle" "+"))
If the cat sees the bald eagle and the cat is round then the bald eagle sees the lion.
((("cat" "sees" "bald eagle" "+") ("cat" "is" "round" "+")) -> ("bald eagle" "sees" "lion" "+"))
If someone sees the dog and the dog is young then the dog eats the bald eagle.
((("someone" "sees" "dog" "+") ("dog" "is" "young" "+")) -> ("dog" "eats" "bald eagle" "+"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The lion is not round.
False
1
inv-proof
[(triple4)]
("lion" "is" "round" "-")
triple4
The lion sees the cat.
True
2
proof
[(((triple4) -> rule2))]
("lion" "sees" "cat" "+")
((triple4) -> (rule2 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The lion does not see the cat.
False
2
inv-proof
[(((triple4) -> rule2))]
("lion" "sees" "cat" "-")
((triple4) -> (rule2 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "round" "-")
The cat sees the cat.
Unknown
rconc
[@2: The cat sees the cat.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("cat" "sees" "cat" "+")
The dog does not see the lion.
Unknown
inv-random
[@0: The dog sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "lion" "-")
The cat chases the bald eagle.
Unknown
random
[@0: The cat chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bald eagle" "+")
@0: The bald eagle is young.[(triple1)] The cat eats the bald eagle.[(triple2)] The dog is young.[(triple3)] The lion is round.[(triple4)] @1: The lion sees the cat.[(((triple4) -> rule2))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The lion is round.
("lion" "is" "round" "+")
triple4
The lion sees the cat.
("lion" "sees" "cat" "+")
((triple4) -> (rule2 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1