The bald eagle chases the cow. The bald eagle chases the mouse. The bald eagle is big. The bald eagle likes the cow. The bald eagle likes the mouse. The bald eagle visits the cow. The bald eagle does not visit the mouse. The cow chases the bald eagle. The cow is blue. The cow is cold. The cow likes the mouse. The cow visits the bald eagle. The mouse is big. The mouse is cold. The mouse is young. The mouse likes the cow. If something chases the mouse then the mouse chases the cow. If the mouse is blue then the mouse likes the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
If something chases the mouse then the mouse chases the cow.
((("something" "chases" "mouse" "+")) -> ("mouse" "chases" "cow" "+"))
If the mouse is blue then the mouse likes the cow.
((("mouse" "is" "blue" "+")) -> ("mouse" "likes" "cow" "+"))
The bald eagle is big.
True
1
proof
[(triple3)]
("bald eagle" "is" "big" "+")
triple3
The cow does not chase the bald eagle.
False
1
inv-proof
[(triple8)]
("cow" "chases" "bald eagle" "-")
triple8
The mouse chases the cow.
True
2
proof
[(((triple2) -> rule1))]
("mouse" "chases" "cow" "+")
((triple2) -> (rule1 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The mouse does not chase the cow.
False
2
inv-proof
[(((triple2) -> rule1))]
("mouse" "chases" "cow" "-")
((triple2) -> (rule1 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The cow does not visit the mouse.
Unknown
inv-random
[@0: The cow visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "mouse" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle does not visit the mouse.[(triple7)] The bald eagle is big.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle visits the cow.[(triple6)] The cow chases the bald eagle.[(triple8)] The cow is blue.[(triple9)] The cow is cold.[(triple10)] The cow likes the mouse.[(triple11)] The cow visits the bald eagle.[(triple12)] The mouse is big.[(triple13)] The mouse is cold.[(triple14)] The mouse is young.[(triple15)] The mouse likes the cow.[(triple16)] @1: The mouse chases the cow.[(((triple2) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
triple7
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple5
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple8
The cow is blue.
("cow" "is" "blue" "+")
triple9
The cow is cold.
("cow" "is" "cold" "+")
triple10
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple11
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple12
The mouse is big.
("mouse" "is" "big" "+")
triple13
The mouse is cold.
("mouse" "is" "cold" "+")
triple14
The mouse is young.
("mouse" "is" "young" "+")
triple15
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple16
The mouse chases the cow.
("mouse" "chases" "cow" "+")
((triple2) -> (rule1 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1