The bald eagle is blue. The bear visits the bald eagle. The cat visits the bald eagle. The tiger is blue. If someone visits the bald eagle then they are not cold.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If someone visits the bald eagle then they are not cold.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "cold" "-"))
The bear visits the bald eagle.
True
1
proof
[(triple2)]
("bear" "visits" "bald eagle" "+")
triple2
The bear does not visit the bald eagle.
False
1
inv-proof
[(triple2)]
("bear" "visits" "bald eagle" "-")
triple2
The cat is not cold.
True
2
proof
[(((triple3) -> rule1))]
("cat" "is" "cold" "-")
((triple3) -> (rule1 % int1))
The cat is not cold.
("cat" "is" "cold" "-")
int1
The bear is cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The bald eagle does not like the cat.
Unknown
inv-random
[@0: The bald eagle likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cat" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
The tiger does not like the bear.
Unknown
inv-random
[@0: The tiger likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bear" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The bald eagle is blue.[(triple1)] The bear visits the bald eagle.[(triple2)] The cat visits the bald eagle.[(triple3)] The tiger is blue.[(triple4)] @1: The bear is not cold.[(((triple2) -> rule1))] The cat is not cold.[(((triple3) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple3
The tiger is blue.
("tiger" "is" "blue" "+")
triple4
The bear is not cold.
("bear" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The cat is not cold.
("cat" "is" "cold" "-")
((triple3) -> (rule1 % int1))
The cat is not cold.
("cat" "is" "cold" "-")
int1