The bald eagle eats the tiger. The bald eagle is green. The bald eagle likes the bear. The bald eagle visits the bear. The bald eagle visits the tiger. The bear eats the rabbit. The bear eats the tiger. The bear is not round. The bear likes the rabbit. The rabbit eats the bear. The rabbit is green. The rabbit does not like the bear. The tiger is green. The tiger visits the bear. If the bald eagle visits the bear and the bald eagle eats the bear then the bear is rough. If someone is rough and they eat the rabbit then the rabbit visits the tiger. If someone is young then they eat the bear. If someone likes the rabbit then they do not eat the bear. If someone likes the tiger then they eat the bear. If the bald eagle is round and the bald eagle eats the rabbit then the bald eagle is green. If someone visits the bald eagle and they do not eat the rabbit then the bald eagle is not green. If someone likes the bear and the bear likes the rabbit then they are green. If someone visits the tiger then they like the tiger.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If the bald eagle visits the bear and the bald eagle eats the bear then the bear is rough.
((("bald eagle" "visits" "bear" "+") ("bald eagle" "eats" "bear" "+")) -> ("bear" "is" "rough" "+"))
If someone is rough and they eat the rabbit then the rabbit visits the tiger.
((("someone" "is" "rough" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "visits" "tiger" "+"))
If someone is young then they eat the bear.
((("someone" "is" "young" "+")) -> ("someone" "eats" "bear" "+"))
If someone likes the rabbit then they do not eat the bear.
((("someone" "likes" "rabbit" "+")) -> ("someone" "eats" "bear" "-"))
If someone likes the tiger then they eat the bear.
((("someone" "likes" "tiger" "+")) -> ("someone" "eats" "bear" "+"))
If the bald eagle is round and the bald eagle eats the rabbit then the bald eagle is green.
((("bald eagle" "is" "round" "+") ("bald eagle" "eats" "rabbit" "+")) -> ("bald eagle" "is" "green" "+"))
If someone visits the bald eagle and they do not eat the rabbit then the bald eagle is not green.
((("someone" "visits" "bald eagle" "+") ("someone" "eats" "rabbit" "~")) -> ("bald eagle" "is" "green" "-"))
If someone likes the bear and the bear likes the rabbit then they are green.
((("someone" "likes" "bear" "+") ("bear" "likes" "rabbit" "+")) -> ("someone" "is" "green" "+"))
If someone visits the tiger then they like the tiger.
((("someone" "visits" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
The bear is not round.
True
1
proof
[(triple8)]
("bear" "is" "round" "-")
triple8
The bald eagle is not green.
False
1
inv-proof
[(triple2 OR ((triple3 triple9) -> rule8))]
("bald eagle" "is" "green" "-")
triple2
((triple3 triple9) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bear does not eat the bear.
True
2
proof
[(((triple9) -> rule4))]
("bear" "eats" "bear" "-")
((triple9) -> (rule4 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bald eagle does not like the tiger.
False
2
inv-proof
[(((triple5) -> rule9))]
("bald eagle" "likes" "tiger" "-")
((triple5) -> (rule9 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The bald eagle eats the bear.
True
3
proof
[(((((triple5) -> rule9)) -> rule5))]
("bald eagle" "eats" "bear" "+")
((((triple5) -> (rule9 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The bald eagle does not eat the bear.
False
3
inv-proof
[(((((triple5) -> rule9)) -> rule5))]
("bald eagle" "eats" "bear" "-")
((((triple5) -> (rule9 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The bear is rough.
True
5
proof
[(((triple4 ((((triple5) -> rule9)) -> rule5)) -> rule1))]
("bear" "is" "rough" "+")
((triple4 ((((triple5) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int3
The bear is not rough.
False
5
inv-proof
[(((triple4 ((((triple5) -> rule9)) -> rule5)) -> rule1))]
("bear" "is" "rough" "-")
((triple4 ((((triple5) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int3
The rabbit visits the tiger.
True
7
proof
[(((((triple4 ((((triple5) -> rule9)) -> rule5)) -> rule1) triple6) -> rule2))]
("rabbit" "visits" "tiger" "+")
((((triple4 ((((triple5) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int4
The rabbit does not visit the tiger.
False
7
inv-proof
[(((((triple4 ((((triple5) -> rule9)) -> rule5)) -> rule1) triple6) -> rule2))]
("rabbit" "visits" "tiger" "-")
((((triple4 ((((triple5) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int4
The rabbit likes the tiger.
True
8
proof
[(((((((triple4 ((((triple5) -> rule9)) -> rule5)) -> rule1) triple6) -> rule2)) -> rule9))]
("rabbit" "likes" "tiger" "+")
((((((triple4 ((((triple5) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int5
The rabbit does not like the tiger.
False
8
inv-proof
[(((((((triple4 ((((triple5) -> rule9)) -> rule5)) -> rule1) triple6) -> rule2)) -> rule9))]
("rabbit" "likes" "tiger" "-")
((((((triple4 ((((triple5) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int5
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The bear is green.
Unknown
rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "is" "green" "+")
The tiger does not eat the bear.
Unknown
inv-rconc
[@2: The tiger eats the bear.[CWA. Example of deepest failure = (rule5 <- rule9 <- FAIL)]]
("tiger" "eats" "bear" "-")
The bear likes the tiger.
Unknown
rconc
[@1: The bear likes the tiger.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bear" "likes" "tiger" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The rabbit eats the bald eagle.
Unknown
random
[@0: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bald eagle" "+")
The rabbit does not eat the tiger.
Unknown
inv-random
[@0: The rabbit eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "tiger" "-")
The bear likes the bald eagle.
Unknown
random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "+")
The bear does not visit the bald eagle.
Unknown
inv-random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is green.[(triple2 OR ((triple3 triple9) -> rule8))] The bald eagle likes the bear.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the tiger.[(triple5)] The bear eats the rabbit.[(triple6)] The bear eats the tiger.[(triple7)] The bear is not round.[(triple8)] The bear likes the rabbit.[(triple9)] The rabbit does not like the bear.[(triple12)] The rabbit eats the bear.[(triple10 OR ((((((((triple4 ((((triple5) -> rule9)) -> rule5)) -> rule1) triple6) -> rule2)) -> rule9)) -> rule5))] The rabbit is green.[(triple11)] The tiger is green.[(triple13)] The tiger visits the bear.[(triple14)] @1: The bald eagle likes the tiger.[(((triple5) -> rule9))] The bear does not eat the bear.[(((triple9) -> rule4))] @2: The bald eagle eats the bear.[(((((triple5) -> rule9)) -> rule5))] @3: The bear is rough.[(((triple4 ((((triple5) -> rule9)) -> rule5)) -> rule1))] @4: The rabbit visits the tiger.[(((((triple4 ((((triple5) -> rule9)) -> rule5)) -> rule1) triple6) -> rule2))] @5: The rabbit likes the tiger.[(((((((triple4 ((((triple5) -> rule9)) -> rule5)) -> rule1) triple6) -> rule2)) -> rule9))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
((triple3 triple9) -> (rule8 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple6
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple7
The bear is not round.
("bear" "is" "round" "-")
triple8
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple9
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
triple12
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple10
((((((((triple4 ((((triple5) -> (rule9 % int6))) -> (rule5 % int5))) -> (rule1 % int4)) triple6) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int5
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int6
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple14
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
((triple5) -> (rule9 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
((triple9) -> (rule4 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((((triple5) -> (rule9 % int2))) -> (rule5 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
((triple4 ((((triple5) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int3
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
((((triple4 ((((triple5) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
((((((triple4 ((((triple5) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int4
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int5