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