The bald eagle eats the cow. The bald eagle eats the tiger. The bald eagle is round. The cat chases the bald eagle. The cat eats the bald eagle. The cat is green. The cat is rough. The cow is round. The tiger chases the cat. The tiger chases the cow. The tiger eats the cat. The tiger is nice. The tiger is rough. The tiger likes the bald eagle. The tiger likes the cow. If something likes the bald eagle and the bald eagle eats the tiger then the bald eagle likes the cow.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
If something likes the bald eagle and the bald eagle eats the tiger then the bald eagle likes the cow.
((("something" "likes" "bald eagle" "+") ("bald eagle" "eats" "tiger" "+")) -> ("bald eagle" "likes" "cow" "+"))
The cat is green.
True
1
proof
[(triple6)]
("cat" "is" "green" "+")
triple6
The cow is not round.
False
1
inv-proof
[(triple8)]
("cow" "is" "round" "-")
triple8
The bald eagle likes the cow.
True
3
proof
[(((triple14 triple2) -> rule1))]
("bald eagle" "likes" "cow" "+")
((triple14 triple2) -> (rule1 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle does not like the cow.
False
3
inv-proof
[(((triple14 triple2) -> rule1))]
("bald eagle" "likes" "cow" "-")
((triple14 triple2) -> (rule1 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The cow does not like the bald eagle.
Unknown
inv-random
[@0: The cow likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bald eagle" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The cow chases the bald eagle.
Unknown
random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is round.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat is green.[(triple6)] The cat is rough.[(triple7)] The cow is round.[(triple8)] The tiger chases the cat.[(triple9)] The tiger chases the cow.[(triple10)] The tiger eats the cat.[(triple11)] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the cow.[(triple15)] @1: The bald eagle likes the cow.[(((triple14 triple2) -> rule1))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cow is round.
("cow" "is" "round" "+")
triple8
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple9
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple10
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple15
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
((triple14 triple2) -> (rule1 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1