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