The bald eagle likes the cat. The cat is green. If someone is green then they like the bald eagle. If someone is young and green then they chase the cat. If the cat is nice and the cat likes the bald eagle then the cat chases the bald eagle. If someone chases the cat then the cat sees the bald eagle. If the cat is blue then the cat sees the bald eagle. If someone chases the cat then the cat likes the bald eagle. If the cat is nice then the cat chases the bald eagle. If the cat likes the bald eagle then the cat sees the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat is green.
("cat" "is" "green" "+")
If someone is green then they like the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is young and green then they chase the cat.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "chases" "cat" "+"))
If the cat is nice and the cat likes the bald eagle then the cat chases the bald eagle.
((("cat" "is" "nice" "+") ("cat" "likes" "bald eagle" "+")) -> ("cat" "chases" "bald eagle" "+"))
If someone chases the cat then the cat sees the bald eagle.
((("someone" "chases" "cat" "+")) -> ("cat" "sees" "bald eagle" "+"))
If the cat is blue then the cat sees the bald eagle.
((("cat" "is" "blue" "+")) -> ("cat" "sees" "bald eagle" "+"))
If someone chases the cat then the cat likes the bald eagle.
((("someone" "chases" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
If the cat is nice then the cat chases the bald eagle.
((("cat" "is" "nice" "+")) -> ("cat" "chases" "bald eagle" "+"))
If the cat likes the bald eagle then the cat sees the bald eagle.
((("cat" "likes" "bald eagle" "+")) -> ("cat" "sees" "bald eagle" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple1)]
("bald eagle" "likes" "cat" "+")
triple1
The bald eagle does not like the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "cat" "-")
triple1
The cat likes the bald eagle.
True
2
proof
[(((triple2) -> rule1))]
("cat" "likes" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat does not like the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "likes" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cat chases the bald eagle.
Unknown
rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "chases" "bald eagle" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle likes the cat.[(triple1)] The cat is green.[(triple2)] @1: The cat likes the bald eagle.[(((triple2) -> rule1))] @2: The cat sees the bald eagle.[(((((triple2) -> rule1)) -> rule8))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2