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