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