The bald eagle is blue. The bald eagle is kind. The bald eagle is young. The bald eagle sees the bear. The bald eagle sees the squirrel. The bear is kind. The bear does not like the squirrel. The bear sees the rabbit. The rabbit chases the bald eagle. The rabbit likes the squirrel. The rabbit sees the bald eagle. The squirrel is not blue. If something is green and young then it sees the squirrel.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
If something is green and young then it sees the squirrel.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "sees" "squirrel" "+"))
The bald eagle is kind.
True
1
proof
[(triple2)]
("bald eagle" "is" "kind" "+")
triple2
The rabbit does not like the squirrel.
False
1
inv-proof
[(triple10)]
("rabbit" "likes" "squirrel" "-")
triple10
The rabbit does not see the squirrel.
Unknown
inv-rconc
[@1: The rabbit sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The bear does not like the squirrel.[(triple7)] The bear is kind.[(triple6)] The bear sees the rabbit.[(triple8)] The rabbit chases the bald eagle.[(triple9)] The rabbit likes the squirrel.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The squirrel is not blue.[(triple12)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple4
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple5
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
triple7
The bear is kind.
("bear" "is" "kind" "+")
triple6
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple8
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple9
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple10
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple11
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple12