The bald eagle is blue. The bald eagle sees the lion. The bald eagle does not visit the lion. The lion eats the bald eagle. The lion is kind. The lion is red. The lion visits the squirrel. The squirrel is big. The squirrel is not kind. The squirrel is red. The squirrel sees the bald eagle. The squirrel visits the lion. If the squirrel is rough and the squirrel does not visit the bald eagle then the squirrel eats the bald eagle. If something is rough and it sees the squirrel then it sees the lion. If something is red and rough then it eats the squirrel. If something sees the lion and the lion is big then the lion is not rough. If the squirrel visits the lion and the squirrel does not see the bald eagle then the squirrel is not big. If something sees the squirrel then it is red. If something visits the lion then it is blue. If something visits the lion and it does not see the bald eagle then the lion is kind.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the squirrel is rough and the squirrel does not visit the bald eagle then the squirrel eats the bald eagle.
((("squirrel" "is" "rough" "+") ("squirrel" "visits" "bald eagle" "~")) -> ("squirrel" "eats" "bald eagle" "+"))
If something is rough and it sees the squirrel then it sees the lion.
((("something" "is" "rough" "+") ("something" "sees" "squirrel" "+")) -> ("something" "sees" "lion" "+"))
If something is red and rough then it eats the squirrel.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "squirrel" "+"))
If something sees the lion and the lion is big then the lion is not rough.
((("something" "sees" "lion" "+") ("lion" "is" "big" "+")) -> ("lion" "is" "rough" "-"))
If the squirrel visits the lion and the squirrel does not see the bald eagle then the squirrel is not big.
((("squirrel" "visits" "lion" "+") ("squirrel" "sees" "bald eagle" "~")) -> ("squirrel" "is" "big" "-"))
If something sees the squirrel then it is red.
((("something" "sees" "squirrel" "+")) -> ("something" "is" "red" "+"))
If something visits the lion then it is blue.
((("something" "visits" "lion" "+")) -> ("something" "is" "blue" "+"))
If something visits the lion and it does not see the bald eagle then the lion is kind.
((("something" "visits" "lion" "+") ("something" "sees" "bald eagle" "~")) -> ("lion" "is" "kind" "+"))
The squirrel visits the lion.
True
1
proof
[(triple12)]
("squirrel" "visits" "lion" "+")
triple12
The squirrel is kind.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "kind" "+")
triple9
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "red" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The bald eagle does not visit the lion.[(triple3)] The bald eagle is blue.[(triple1)] The bald eagle sees the lion.[(triple2)] The lion eats the bald eagle.[(triple4)] The lion is kind.[(triple5)] The lion is red.[(triple6)] The lion visits the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is not kind.[(triple9)] The squirrel is red.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The squirrel is blue.[(((triple12) -> rule7))]
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple11
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple12) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1