The bald eagle is green. The cat eats the bald eagle. The squirrel is kind. If someone is kind then they need the cat.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone is kind then they need the cat.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "cat" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple2)]
("cat" "eats" "bald eagle" "+")
triple2
The cat does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("cat" "eats" "bald eagle" "-")
triple2
The squirrel needs the cat.
True
2
proof
[(((triple3) -> rule1))]
("squirrel" "needs" "cat" "+")
((triple3) -> (rule1 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The squirrel does not need the cat.
False
2
inv-proof
[(((triple3) -> rule1))]
("squirrel" "needs" "cat" "-")
((triple3) -> (rule1 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "cat" "-")
The bald eagle needs the cat.
Unknown
rconc
[@1: The bald eagle needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "cat" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The cat eats the bald eagle.[(triple2)] The squirrel is kind.[(triple3)] @1: The squirrel needs the cat.[(((triple3) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
((triple3) -> (rule1 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1