The bald eagle is not round. The bear needs the cat. The cat does not chase the bald eagle. The cat needs the bald eagle. The cow chases the cat. The cow likes the bear. The cow does not need the bald eagle. If someone likes the bald eagle then the bald eagle does not like the bear. If someone is round and they need the cow then the cow needs the bald eagle. If someone needs the cat then the cat likes the bald eagle.
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
If someone likes the bald eagle then the bald eagle does not like the bear.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "-"))
If someone is round and they need the cow then the cow needs the bald eagle.
((("someone" "is" "round" "+") ("someone" "needs" "cow" "+")) -> ("cow" "needs" "bald eagle" "+"))
If someone needs the cat then the cat likes the bald eagle.
((("someone" "needs" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
The bear needs the cat.
True
1
proof
[(triple2)]
("bear" "needs" "cat" "+")
triple2
The cat does not need the bald eagle.
False
1
inv-proof
[(triple4)]
("cat" "needs" "bald eagle" "-")
triple4
The cat likes the bald eagle.
True
2
proof
[(((triple2) -> rule3))]
("cat" "likes" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The cat does not like the bald eagle.
False
2
inv-proof
[(((triple2) -> rule3))]
("cat" "likes" "bald eagle" "-")
((triple2) -> (rule3 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bear.
True
3
proof
[(((((triple2) -> rule3)) -> rule1))]
("bald eagle" "likes" "bear" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The bald eagle likes the bear.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule1))]
("bald eagle" "likes" "bear" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2
The bald eagle does not like the cow.
Unknown
inv-random
[@0: The bald eagle likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cow" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The bear chases the cat.
Unknown
random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "+")
The bald eagle does not chase the bear.
Unknown
inv-random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "-")
The cat chases the bear.
Unknown
random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "+")
@0: The bald eagle is not round.[(triple1)] The bear needs the cat.[(triple2)] The cat does not chase the bald eagle.[(triple3)] The cat needs the bald eagle.[(triple4)] The cow chases the cat.[(triple5)] The cow does not need the bald eagle.[(triple7)] The cow likes the bear.[(triple6)] @1: The cat likes the bald eagle.[(((triple2) -> rule3))] @2: The bald eagle does not like the bear.[(((((triple2) -> rule3)) -> rule1))]
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple1
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The cow chases the cat.
("cow" "chases" "cat" "+")
triple5
The cow does not need the bald eagle.
("cow" "needs" "bald eagle" "-")
triple7
The cow likes the bear.
("cow" "likes" "bear" "+")
triple6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
int2