The bald eagle eats the cow. The bald eagle is red. The bald eagle likes the cow. The cat does not chase the cow. The cat eats the cow. The cat is not nice. The cat is red. The cat is rough. The cat likes the cow. The cow eats the bald eagle. The cow eats the cat. The cow is cold. The cow is red. The cow likes the bald eagle. The cow likes the cat. If something chases the bald eagle then the bald eagle does not chase the cat. If something is rough then it chases the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cat does not chase the cow.
("cat" "chases" "cow" "-")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
If something chases the bald eagle then the bald eagle does not chase the cat.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "-"))
If something is rough then it chases the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "chases" "bald eagle" "+"))
The bald eagle likes the cow.
True
1
proof
[(triple3)]
("bald eagle" "likes" "cow" "+")
triple3
The cow does not eat the bald eagle.
False
1
inv-proof
[(triple10)]
("cow" "eats" "bald eagle" "-")
triple10
The cat chases the bald eagle.
True
2
proof
[(((triple8) -> rule2))]
("cat" "chases" "bald eagle" "+")
((triple8) -> (rule2 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat does not chase the bald eagle.
False
2
inv-proof
[(((triple8) -> rule2))]
("cat" "chases" "bald eagle" "-")
((triple8) -> (rule2 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the cat.
True
3
proof
[(((((triple8) -> rule2)) -> rule1))]
("bald eagle" "chases" "cat" "-")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle chases the cat.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule1))]
("bald eagle" "chases" "cat" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cow chases the bald eagle.
Unknown
rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "bald eagle" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The bald eagle chases the cow.
Unknown
random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "+")
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 cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the cow.[(triple3)] The cat does not chase the cow.[(triple4)] The cat eats the cow.[(triple5)] The cat is not nice.[(triple6)] The cat is red.[(triple7)] The cat is rough.[(triple8)] The cat likes the cow.[(triple9)] The cow eats the bald eagle.[(triple10)] The cow eats the cat.[(triple11)] The cow is cold.[(triple12)] The cow is red.[(triple13)] The cow likes the bald eagle.[(triple14)] The cow likes the cat.[(triple15)] @1: The cat chases the bald eagle.[(((triple8) -> rule2))] @2: The bald eagle does not chase the cat.[(((((triple8) -> rule2)) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The cat does not chase the cow.
("cat" "chases" "cow" "-")
triple4
The cat eats the cow.
("cat" "eats" "cow" "+")
triple5
The cat is not nice.
("cat" "is" "nice" "-")
triple6
The cat is red.
("cat" "is" "red" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat likes the cow.
("cat" "likes" "cow" "+")
triple9
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple10
The cow eats the cat.
("cow" "eats" "cat" "+")
triple11
The cow is cold.
("cow" "is" "cold" "+")
triple12
The cow is red.
("cow" "is" "red" "+")
triple13
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple14
The cow likes the cat.
("cow" "likes" "cat" "+")
triple15
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((triple8) -> (rule2 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2