The bald eagle eats the cat. The bald eagle eats the cow. The bald eagle does not visit the cat. The bald eagle visits the cow. The cat eats the bald eagle. The cat visits the bald eagle. The cow eats the bald eagle. The cow eats the cat. The cow is blue. The cow likes the bald eagle. The cow likes the cat. The cow visits the bald eagle. If the bald eagle is blue then the bald eagle eats the cow. If someone visits the cat then they are big. If the bald eagle visits the cow then the cow visits the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
If the bald eagle is blue then the bald eagle eats the cow.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "eats" "cow" "+"))
If someone visits the cat then they are big.
((("someone" "visits" "cat" "+")) -> ("someone" "is" "big" "+"))
If the bald eagle visits the cow then the cow visits the cat.
((("bald eagle" "visits" "cow" "+")) -> ("cow" "visits" "cat" "+"))
The bald eagle eats the cow.
True
1
proof
[(triple2)]
("bald eagle" "eats" "cow" "+")
triple2
The bald eagle does not visit the cow.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "cow" "-")
triple4
The cow visits the cat.
True
2
proof
[(((triple4) -> rule3))]
("cow" "visits" "cat" "+")
((triple4) -> (rule3 % int1))
The cow visits the cat.
("cow" "visits" "cat" "+")
int1
The cow does not visit the cat.
False
2
inv-proof
[(((triple4) -> rule3))]
("cow" "visits" "cat" "-")
((triple4) -> (rule3 % int1))
The cow visits the cat.
("cow" "visits" "cat" "+")
int1
The cow is big.
True
3
proof
[(((((triple4) -> rule3)) -> rule2))]
("cow" "is" "big" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow visits the cat.
("cow" "visits" "cat" "+")
int2
The cow is not big.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule2))]
("cow" "is" "big" "-")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow visits the cat.
("cow" "visits" "cat" "+")
int2
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "big" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "big" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cat likes the cow.
Unknown
random
[@0: The cat likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cow" "+")
@0: The bald eagle does not visit the cat.[(triple3)] The bald eagle eats the cat.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle visits the cow.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat visits the bald eagle.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow eats the cat.[(triple8)] The cow is blue.[(triple9)] The cow likes the bald eagle.[(triple10)] The cow likes the cat.[(triple11)] The cow visits the bald eagle.[(triple12)] @1: The cow visits the cat.[(((triple4) -> rule3))] @2: The cow is big.[(((((triple4) -> rule3)) -> rule2))]
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple3
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple5
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple6
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple7
The cow eats the cat.
("cow" "eats" "cat" "+")
triple8
The cow is blue.
("cow" "is" "blue" "+")
triple9
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple10
The cow likes the cat.
("cow" "likes" "cat" "+")
triple11
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple12
The cow visits the cat.
("cow" "visits" "cat" "+")
((triple4) -> (rule3 % int1))
The cow visits the cat.
("cow" "visits" "cat" "+")
int1
The cow is big.
("cow" "is" "big" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow visits the cat.
("cow" "visits" "cat" "+")
int2