The bald eagle eats the bear. The bald eagle is nice. The bear eats the bald eagle. The bear eats the cow. The bear is nice. The bear likes the tiger. The cow is nice. The cow is rough. The tiger eats the bald eagle. The tiger eats the bear. The tiger is young. The tiger likes the bald eagle. The tiger likes the bear. The tiger visits the bald eagle. The tiger visits the bear. The tiger visits the cow. If someone is nice and they eat the bald eagle then the bald eagle eats the tiger. If someone eats the tiger then the tiger eats the cow. If someone visits the bear then the bear eats the cow. If someone visits the tiger and the tiger eats the bear then they visit the bear. If someone likes the cow and the cow likes the tiger then the cow likes the bear. If the tiger is young and the tiger likes the cow then the cow is nice.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If someone is nice and they eat the bald eagle then the bald eagle eats the tiger.
((("someone" "is" "nice" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If someone eats the tiger then the tiger eats the cow.
((("someone" "eats" "tiger" "+")) -> ("tiger" "eats" "cow" "+"))
If someone visits the bear then the bear eats the cow.
((("someone" "visits" "bear" "+")) -> ("bear" "eats" "cow" "+"))
If someone visits the tiger and the tiger eats the bear then they visit the bear.
((("someone" "visits" "tiger" "+") ("tiger" "eats" "bear" "+")) -> ("someone" "visits" "bear" "+"))
If someone likes the cow and the cow likes the tiger then the cow likes the bear.
((("someone" "likes" "cow" "+") ("cow" "likes" "tiger" "+")) -> ("cow" "likes" "bear" "+"))
If the tiger is young and the tiger likes the cow then the cow is nice.
((("tiger" "is" "young" "+") ("tiger" "likes" "cow" "+")) -> ("cow" "is" "nice" "+"))
The bald eagle eats the bear.
True
1
proof
[(triple1)]
("bald eagle" "eats" "bear" "+")
triple1
The tiger does not like the bald eagle.
False
1
inv-proof
[(triple12)]
("tiger" "likes" "bald eagle" "-")
triple12
The bald eagle eats the tiger.
True
3
proof
[(((triple5 triple3) -> rule1))]
("bald eagle" "eats" "tiger" "+")
((triple5 triple3) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle does not eat the tiger.
False
3
inv-proof
[(((triple5 triple3) -> rule1))]
("bald eagle" "eats" "tiger" "-")
((triple5 triple3) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The tiger eats the cow.
True
4
proof
[(((((triple5 triple3) -> rule1)) -> rule2))]
("tiger" "eats" "cow" "+")
((((triple5 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The tiger does not eat the cow.
False
4
inv-proof
[(((((triple5 triple3) -> rule1)) -> rule2))]
("tiger" "eats" "cow" "-")
((((triple5 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The cow does not visit the bear.
Unknown
inv-rconc
[@1: The cow visits the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "visits" "bear" "-")
The bald eagle visits the bear.
Unknown
rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "bear" "+")
The cow does not like the bear.
Unknown
inv-rconc
[@1: The cow likes the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "likes" "bear" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The bald eagle does not visit the cow.
Unknown
inv-random
[@0: The bald eagle visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cow" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is nice.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear eats the cow.[(triple4 OR ((triple15) -> rule3))] The bear is nice.[(triple5)] The bear likes the tiger.[(triple6)] The cow is nice.[(triple7)] The cow is rough.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger eats the bear.[(triple10)] The tiger is young.[(triple11)] The tiger likes the bald eagle.[(triple12)] The tiger likes the bear.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the bear.[(triple15)] The tiger visits the cow.[(triple16)] @1: The bald eagle eats the tiger.[(((triple5 triple3) -> rule1))] @2: The tiger eats the cow.[(((((triple5 triple3) -> rule1)) -> rule2))]
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple3
The bear eats the cow.
("bear" "eats" "cow" "+")
triple4
((triple15) -> (rule3 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple6
The cow is nice.
("cow" "is" "nice" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple9
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple10
The tiger is young.
("tiger" "is" "young" "+")
triple11
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple12
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple13
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple14
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple15
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple16
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple5 triple3) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The tiger eats the cow.
("tiger" "eats" "cow" "+")
((((triple5 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2