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