The bald eagle is blue. The bald eagle is nice. The bald eagle sees the cow. The cow eats the squirrel. The cow is not green. The lion chases the cow. The lion is blue. The lion is young. The lion does not see the bald eagle. The squirrel eats the bald eagle. The squirrel is blue. The squirrel is nice. If someone is nice and not young then they eat the bald eagle. If someone eats the cow then they eat the bald eagle. If the squirrel is blue and the squirrel is not nice then the squirrel is kind. If someone sees the lion and the lion sees the bald eagle then they eat the cow. If someone chases the squirrel and they are kind then they see the lion. If the cow eats the bald eagle then the bald eagle is green. If someone chases the cow then the cow does not chase the squirrel. If someone sees the cow then the cow is kind.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is not green.
("cow" "is" "green" "-")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is young.
("lion" "is" "young" "+")
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone is nice and not young then they eat the bald eagle.
((("someone" "is" "nice" "+") ("someone" "is" "young" "~")) -> ("someone" "eats" "bald eagle" "+"))
If someone eats the cow then they eat the bald eagle.
((("someone" "eats" "cow" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the squirrel is blue and the squirrel is not nice then the squirrel is kind.
((("squirrel" "is" "blue" "+") ("squirrel" "is" "nice" "~")) -> ("squirrel" "is" "kind" "+"))
If someone sees the lion and the lion sees the bald eagle then they eat the cow.
((("someone" "sees" "lion" "+") ("lion" "sees" "bald eagle" "+")) -> ("someone" "eats" "cow" "+"))
If someone chases the squirrel and they are kind then they see the lion.
((("someone" "chases" "squirrel" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "lion" "+"))
If the cow eats the bald eagle then the bald eagle is green.
((("cow" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If someone chases the cow then the cow does not chase the squirrel.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "squirrel" "-"))
If someone sees the cow then the cow is kind.
((("someone" "sees" "cow" "+")) -> ("cow" "is" "kind" "+"))
The cow is not green.
True
1
proof
[(triple5)]
("cow" "is" "green" "-")
triple5
The squirrel does not eat the bald eagle.
False
1
inv-proof
[(triple10)]
("squirrel" "eats" "bald eagle" "-")
triple10
The cow is kind.
True
2
proof
[(((triple3) -> rule8))]
("cow" "is" "kind" "+")
((triple3) -> (rule8 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple3) -> rule8))]
("cow" "is" "kind" "-")
((triple3) -> (rule8 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The bald eagle does not eat the cow.
Unknown
inv-rconc
[@1: The bald eagle eats the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "cow" "-")
The cow sees the lion.
Unknown
rconc
[@1: The cow sees the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "sees" "lion" "+")
The cow does not see the squirrel.
Unknown
inv-random
[@0: The cow sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "squirrel" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the cow.[(triple3)] The cow eats the squirrel.[(triple4)] The cow is not green.[(triple5)] The lion chases the cow.[(triple6)] The lion does not see the bald eagle.[(triple9)] The lion is blue.[(triple7)] The lion is young.[(triple8)] The squirrel eats the bald eagle.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is nice.[(triple12)] @1: The cow does not chase the squirrel.[(((triple6) -> rule7))] The cow is kind.[(((triple3) -> rule8))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple4
The cow is not green.
("cow" "is" "green" "-")
triple5
The lion chases the cow.
("lion" "chases" "cow" "+")
triple6
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
((triple6) -> (rule7 % int1))
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
int1
The cow is kind.
("cow" "is" "kind" "+")
((triple3) -> (rule8 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1