The bald eagle eats the lion. The bald eagle eats the tiger. The bald eagle likes the tiger. The bald eagle sees the cow. The bald eagle sees the lion. The cow likes the lion. The lion is big. The lion likes the bald eagle. The tiger does not eat the bald eagle. The tiger eats the lion. The tiger likes the lion. The tiger sees the bald eagle. The tiger does not see the cow. The tiger sees the lion. If someone eats the bald eagle then they like the cow. If someone likes the lion then the lion sees the cow. All red people are not big. If the lion eats the tiger and the lion sees the cow then the lion eats the bald eagle. If someone likes the cow then the cow eats the bald eagle. If someone sees the lion then the lion eats the tiger. If the bald eagle sees the lion then the lion eats the cow.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger does not see the cow.
("tiger" "sees" "cow" "-")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If someone eats the bald eagle then they like the cow.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the lion then the lion sees the cow.
((("someone" "likes" "lion" "+")) -> ("lion" "sees" "cow" "+"))
All red people are not big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "-"))
If the lion eats the tiger and the lion sees the cow then the lion eats the bald eagle.
((("lion" "eats" "tiger" "+") ("lion" "sees" "cow" "+")) -> ("lion" "eats" "bald eagle" "+"))
If someone likes the cow then the cow eats the bald eagle.
((("someone" "likes" "cow" "+")) -> ("cow" "eats" "bald eagle" "+"))
If someone sees the lion then the lion eats the tiger.
((("someone" "sees" "lion" "+")) -> ("lion" "eats" "tiger" "+"))
If the bald eagle sees the lion then the lion eats the cow.
((("bald eagle" "sees" "lion" "+")) -> ("lion" "eats" "cow" "+"))
The tiger sees the bald eagle.
True
1
proof
[(triple12)]
("tiger" "sees" "bald eagle" "+")
triple12
The tiger eats the bald eagle.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "bald eagle" "+")
triple9
The lion eats the cow.
True
2
proof
[(((triple5) -> rule7))]
("lion" "eats" "cow" "+")
((triple5) -> (rule7 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion does not eat the tiger.
False
2
inv-proof
[(((triple14) -> rule6) OR ((triple5) -> rule6))]
("lion" "eats" "tiger" "-")
((triple14) -> (rule6 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
((triple5) -> (rule6 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion eats the bald eagle.
True
5
proof
[(((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4) OR ((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4) OR ((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4) OR ((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4))]
("lion" "eats" "bald eagle" "+")
((((triple14) -> (rule6 % int3)) ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((triple5) -> (rule6 % int3)) ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((triple5) -> (rule6 % int3)) ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
The lion does not eat the bald eagle.
False
5
inv-proof
[(((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4) OR ((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4) OR ((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4) OR ((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4))]
("lion" "eats" "bald eagle" "-")
((((triple14) -> (rule6 % int3)) ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((triple5) -> (rule6 % int3)) ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((triple5) -> (rule6 % int3)) ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
The lion likes the cow.
True
6
proof
[(((((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1) OR ((((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1))]
("lion" "likes" "cow" "+")
((((((triple14) -> (rule6 % int4)) ((triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((((triple14) -> (rule6 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((((triple5) -> (rule6 % int4)) ((triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((((triple5) -> (rule6 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
The lion does not like the cow.
False
6
inv-proof
[(((((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1) OR ((((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1))]
("lion" "likes" "cow" "-")
((((((triple14) -> (rule6 % int4)) ((triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((((triple14) -> (rule6 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((((triple5) -> (rule6 % int4)) ((triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((((triple5) -> (rule6 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
The cow eats the bald eagle.
True
7
proof
[(((((((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5))]
("cow" "eats" "bald eagle" "+")
((((((((triple14) -> (rule6 % int5)) ((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple14) -> (rule6 % int5)) ((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple5) -> (rule6 % int5)) ((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple5) -> (rule6 % int5)) ((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
The cow does not eat the bald eagle.
False
7
inv-proof
[(((((((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5))]
("cow" "eats" "bald eagle" "-")
((((((((triple14) -> (rule6 % int5)) ((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple14) -> (rule6 % int5)) ((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple5) -> (rule6 % int5)) ((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple5) -> (rule6 % int5)) ((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
The cow likes the cow.
True
8
proof
[(((((((((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1) OR ((((((((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1) OR ((((((((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1) OR ((((((((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1))]
("cow" "likes" "cow" "+")
((((((((((triple14) -> (rule6 % int6)) ((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((((triple14) -> (rule6 % int6)) ((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((((triple5) -> (rule6 % int6)) ((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((((triple5) -> (rule6 % int6)) ((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
The cow does not like the cow.
False
8
inv-proof
[(((((((((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1) OR ((((((((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1) OR ((((((((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1) OR ((((((((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1))]
("cow" "likes" "cow" "-")
((((((((((triple14) -> (rule6 % int6)) ((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((((triple14) -> (rule6 % int6)) ((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((((triple5) -> (rule6 % int6)) ((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((((triple5) -> (rule6 % int6)) ((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
The tiger does not like the cow.
Unknown
inv-rconc
[@1: The tiger likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "cow" "-")
The bald eagle likes the cow.
Unknown
rconc
[@1: The bald eagle likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "cow" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
The cow does not see the tiger.
Unknown
inv-random
[@0: The cow sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "tiger" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The cow does not eat the lion.
Unknown
inv-random
[@0: The cow eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "lion" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The bald eagle eats the cow.
Unknown
random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "+")
The bald eagle does not like the lion.
Unknown
inv-random
[@0: The bald eagle likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "lion" "-")
The lion sees the tiger.
Unknown
random
[@0: The lion sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "tiger" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the cow.[(triple4)] The bald eagle sees the lion.[(triple5)] The cow likes the lion.[(triple6)] The lion is big.[(triple7)] The lion likes the bald eagle.[(triple8)] The tiger does not eat the bald eagle.[(triple9)] The tiger does not see the cow.[(triple13)] The tiger eats the lion.[(triple10)] The tiger likes the lion.[(triple11)] The tiger sees the bald eagle.[(triple12)] The tiger sees the lion.[(triple14)] @1: The lion eats the cow.[(((triple5) -> rule7))] The lion eats the tiger.[(((triple14) -> rule6) OR ((triple5) -> rule6))] The lion sees the cow.[(((triple11) -> rule2) OR ((triple6) -> rule2))] @2: The lion eats the bald eagle.[(((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4) OR ((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4) OR ((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4) OR ((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4))] @3: The lion likes the cow.[(((((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1) OR ((((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1))] @4: The cow eats the bald eagle.[(((((((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5))] @5: The cow likes the cow.[(((((((((((triple14) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1) OR ((((((((((triple14) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1) OR ((((((((((triple5) -> rule6) ((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1) OR ((((((((((triple5) -> rule6) ((triple6) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule1))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple4
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The cow likes the lion.
("cow" "likes" "lion" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
triple9
The tiger does not see the cow.
("tiger" "sees" "cow" "-")
triple13
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple10
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple14
The lion eats the cow.
("lion" "eats" "cow" "+")
((triple5) -> (rule7 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
((triple14) -> (rule6 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
((triple5) -> (rule6 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
((triple11) -> (rule2 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
((triple6) -> (rule2 % int1))
The lion sees the cow.
("lion" "sees" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
((((triple14) -> (rule6 % int3)) ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((triple5) -> (rule6 % int3)) ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((triple5) -> (rule6 % int3)) ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
The lion likes the cow.
("lion" "likes" "cow" "+")
((((((triple14) -> (rule6 % int4)) ((triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((((triple14) -> (rule6 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((((triple5) -> (rule6 % int4)) ((triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((((triple5) -> (rule6 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The lion likes the cow.
("lion" "likes" "cow" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The lion sees the cow.
("lion" "sees" "cow" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
((((((((triple14) -> (rule6 % int5)) ((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple14) -> (rule6 % int5)) ((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple5) -> (rule6 % int5)) ((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
((((((((triple5) -> (rule6 % int5)) ((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
int2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int3
The lion sees the cow.
("lion" "sees" "cow" "+")
int4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int5
The cow likes the cow.
("cow" "likes" "cow" "+")
((((((((((triple14) -> (rule6 % int6)) ((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((((triple14) -> (rule6 % int6)) ((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((((triple5) -> (rule6 % int6)) ((triple11) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6
((((((((((triple5) -> (rule6 % int6)) ((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int4
The lion sees the cow.
("lion" "sees" "cow" "+")
int5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int6