The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle is green. The bald eagle is kind. The bald eagle sees the cat. The bald eagle sees the cow. The cat eats the cow. The cat eats the mouse. The cat is cold. The cow chases the bald eagle. The cow chases the cat. The cow is cold. The cow is rough. The cow sees the bald eagle. The mouse is cold. If someone chases the cow then the cow sees the mouse.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
If someone chases the cow then the cow sees the mouse.
((("someone" "chases" "cow" "+")) -> ("cow" "sees" "mouse" "+"))
The cow is rough.
True
1
proof
[(triple13)]
("cow" "is" "rough" "+")
triple13
The bald eagle does not see the cow.
False
1
inv-proof
[(triple6)]
("bald eagle" "sees" "cow" "-")
triple6
The cow sees the mouse.
True
2
proof
[(((triple2) -> rule1))]
("cow" "sees" "mouse" "+")
((triple2) -> (rule1 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow does not see the mouse.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "sees" "mouse" "-")
((triple2) -> (rule1 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The cow sees the cat.
Unknown
random
[@0: The cow sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cat" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle sees the cat.[(triple5)] The bald eagle sees the cow.[(triple6)] The cat eats the cow.[(triple7)] The cat eats the mouse.[(triple8)] The cat is cold.[(triple9)] The cow chases the bald eagle.[(triple10)] The cow chases the cat.[(triple11)] The cow is cold.[(triple12)] The cow is rough.[(triple13)] The cow sees the bald eagle.[(triple14)] The mouse is cold.[(triple15)] @1: The cow sees the mouse.[(((triple2) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple6
The cat eats the cow.
("cat" "eats" "cow" "+")
triple7
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple8
The cat is cold.
("cat" "is" "cold" "+")
triple9
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple10
The cow chases the cat.
("cow" "chases" "cat" "+")
triple11
The cow is cold.
("cow" "is" "cold" "+")
triple12
The cow is rough.
("cow" "is" "rough" "+")
triple13
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple14
The mouse is cold.
("mouse" "is" "cold" "+")
triple15
The cow sees the mouse.
("cow" "sees" "mouse" "+")
((triple2) -> (rule1 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1