The bald eagle sees the mouse. The cat is green. The mouse is nice. If someone is green then they like the cat.
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cat is green.
("cat" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
If someone is green then they like the cat.
((("someone" "is" "green" "+")) -> ("someone" "likes" "cat" "+"))
The mouse is nice.
True
1
proof
[(triple3)]
("mouse" "is" "nice" "+")
triple3
The cat is not green.
False
1
inv-proof
[(triple2)]
("cat" "is" "green" "-")
triple2
The cat likes the cat.
True
2
proof
[(((triple2) -> rule1))]
("cat" "likes" "cat" "+")
((triple2) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "likes" "cat" "-")
((triple2) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The mouse does not like the cat.
Unknown
inv-rconc
[@1: The mouse likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "cat" "-")
The bald eagle likes the cat.
Unknown
rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "cat" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
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 sees the mouse.[(triple1)] The cat is green.[(triple2)] The mouse is nice.[(triple3)] @1: The cat likes the cat.[(((triple2) -> rule1))]
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple2) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1