The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle sees the cat. The bald eagle sees the cow. The cat eats the bald eagle. The cat is green. The cat sees the cow. The cow is not round. The cow sees the cat. If someone needs the bald eagle and they do not see the cat then the cat is nice. If someone is rough then they need the cat. If someone eats the cat then the cat eats the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is green.
("cat" "is" "green" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow is not round.
("cow" "is" "round" "-")
The cow sees the cat.
("cow" "sees" "cat" "+")
If someone needs the bald eagle and they do not see the cat then the cat is nice.
((("someone" "needs" "bald eagle" "+") ("someone" "sees" "cat" "~")) -> ("cat" "is" "nice" "+"))
If someone is rough then they need the cat.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "cat" "+"))
If someone eats the cat then the cat eats the bald eagle.
((("someone" "eats" "cat" "+")) -> ("cat" "eats" "bald eagle" "+"))
The cat is green.
True
1
proof
[(triple7)]
("cat" "is" "green" "+")
triple7
The bald eagle does not see the cat.
False
1
inv-proof
[(triple4)]
("bald eagle" "sees" "cat" "-")
triple4
The bald eagle needs the cat.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "needs" "cat" "+")
((triple3) -> (rule2 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle does not need the cat.
False
2
inv-proof
[(((triple3) -> rule2))]
("bald eagle" "needs" "cat" "-")
((triple3) -> (rule2 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "needs" "cat" "-")
The cat is nice.
Unknown
rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "nice" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle sees the cat.[(triple4)] The bald eagle sees the cow.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat is green.[(triple7)] The cat sees the cow.[(triple8)] The cow is not round.[(triple9)] The cow sees the cat.[(triple10)] @1: The bald eagle needs the cat.[(((triple3) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple7
The cat sees the cow.
("cat" "sees" "cow" "+")
triple8
The cow is not round.
("cow" "is" "round" "-")
triple9
The cow sees the cat.
("cow" "sees" "cat" "+")
triple10
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((triple3) -> (rule2 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1