The bald eagle is not green. The bald eagle is kind. The cat is not cold. The cat is green. The cat sees the lion. The lion eats the squirrel. The lion is kind. The lion sees the bald eagle. The squirrel is kind. The squirrel sees the lion. If someone sees the bald eagle and they are rough then they see the lion. If the squirrel is rough and the squirrel sees the bald eagle then the squirrel sees the cat.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The cat is green.
("cat" "is" "green" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone sees the bald eagle and they are rough then they see the lion.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "rough" "+")) -> ("someone" "sees" "lion" "+"))
If the squirrel is rough and the squirrel sees the bald eagle then the squirrel sees the cat.
((("squirrel" "is" "rough" "+") ("squirrel" "sees" "bald eagle" "+")) -> ("squirrel" "sees" "cat" "+"))
The squirrel sees the lion.
True
1
proof
[(triple10)]
("squirrel" "sees" "lion" "+")
triple10
The bald eagle is not kind.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "kind" "-")
triple2
The lion does not see the lion.
Unknown
inv-rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "sees" "lion" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The bald eagle is kind.[(triple2)] The bald eagle is not green.[(triple1)] The cat is green.[(triple4)] The cat is not cold.[(triple3)] The cat sees the lion.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is kind.[(triple7)] The lion sees the bald eagle.[(triple8)] The squirrel is kind.[(triple9)] The squirrel sees the lion.[(triple10)]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is not cold.
("cat" "is" "cold" "-")
triple3
The cat sees the lion.
("cat" "sees" "lion" "+")
triple5
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple10