The bald eagle is not young. The bear is blue. The bear is not cold. The bear likes the bald eagle. The bear likes the squirrel. The bear visits the bald eagle. The bear visits the squirrel. The squirrel is young. The squirrel likes the bear. The squirrel sees the bald eagle. If something likes the bald eagle and it is not cold then it is not red. If something sees the squirrel then the squirrel likes the bear.
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something likes the bald eagle and it is not cold then it is not red.
((("something" "likes" "bald eagle" "+") ("something" "is" "cold" "~")) -> ("something" "is" "red" "-"))
If something sees the squirrel then the squirrel likes the bear.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "likes" "bear" "+"))
The bear is blue.
True
1
proof
[(triple2)]
("bear" "is" "blue" "+")
triple2
The squirrel does not like the bear.
False
1
inv-proof
[(triple9)]
("squirrel" "likes" "bear" "-")
triple9
The bear is not red.
True
3
proof
[(((triple4 triple3) -> rule1))]
("bear" "is" "red" "-")
((triple4 triple3) -> (rule1 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is red.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("bear" "is" "red" "+")
((triple4 triple3) -> (rule1 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The bald eagle is not young.[(triple1)] The bear is blue.[(triple2)] The bear is not cold.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the squirrel.[(triple5)] The bear visits the bald eagle.[(triple6)] The bear visits the squirrel.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the bear.[(triple9)] The squirrel sees the bald eagle.[(triple10)] @1: The bear is not red.[(((triple4 triple3) -> rule1))]
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is not cold.
("bear" "is" "cold" "-")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple5
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple6
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple9
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple10
The bear is not red.
("bear" "is" "red" "-")
((triple4 triple3) -> (rule1 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1