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