The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle likes the squirrel. The bald eagle sees the tiger. The squirrel eats the bald eagle. The squirrel sees the bald eagle. The tiger eats the bald eagle. The tiger is cold. The tiger does not see the squirrel. If something eats the squirrel then it does not eat the bald eagle. If something eats the tiger and it does not eat the squirrel then it likes the bald eagle. If something is rough then it eats the tiger. If the bald eagle eats the tiger and the bald eagle does not eat the squirrel then the squirrel is kind. If something is cold and not rough then it likes the tiger. If the bald eagle does not like the tiger then the tiger is blue.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
If something eats the squirrel then it does not eat the bald eagle.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "bald eagle" "-"))
If something eats the tiger and it does not eat the squirrel then it likes the bald eagle.
((("something" "eats" "tiger" "+") ("something" "eats" "squirrel" "~")) -> ("something" "likes" "bald eagle" "+"))
If something is rough then it eats the tiger.
((("something" "is" "rough" "+")) -> ("something" "eats" "tiger" "+"))
If the bald eagle eats the tiger and the bald eagle does not eat the squirrel then the squirrel is kind.
((("bald eagle" "eats" "tiger" "+") ("bald eagle" "eats" "squirrel" "~")) -> ("squirrel" "is" "kind" "+"))
If something is cold and not rough then it likes the tiger.
((("something" "is" "cold" "+") ("something" "is" "rough" "~")) -> ("something" "likes" "tiger" "+"))
If the bald eagle does not like the tiger then the tiger is blue.
((("bald eagle" "likes" "tiger" "~")) -> ("tiger" "is" "blue" "+"))
The squirrel sees the bald eagle.
True
1
proof
[(triple7)]
("squirrel" "sees" "bald eagle" "+")
triple7
The bald eagle is not rough.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "rough" "-")
triple3
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle sees the tiger.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel sees the bald eagle.[(triple7)] The tiger does not see the squirrel.[(triple10)] The tiger eats the bald eagle.[(triple8)] The tiger is cold.[(triple9)] @1: The bald eagle eats the tiger.[(((triple3) -> rule3))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple4
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple5
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple6
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple7
The tiger does not see the squirrel.
("tiger" "sees" "squirrel" "-")
triple10
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple3) -> (rule3 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1