The cow chases the rabbit. The cow eats the rabbit. The cow is blue. The cow is cold. The cow likes the squirrel. The lion chases the squirrel. The lion does not like the cow. The rabbit chases the squirrel. The rabbit is green. The rabbit is rough. The squirrel chases the lion. The squirrel is blue. If someone likes the rabbit and the rabbit chases the lion then they chase the squirrel. If someone likes the squirrel then they like the rabbit. If someone is green then they like the lion. If someone chases the lion then they eat the cow. If someone is rough and they like the cow then they eat the cow. If the cow is rough then the cow is green. If someone eats the rabbit then the rabbit eats the cow. If someone chases the rabbit then they are rough.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion does not like the cow.
("lion" "likes" "cow" "-")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If someone likes the rabbit and the rabbit chases the lion then they chase the squirrel.
((("someone" "likes" "rabbit" "+") ("rabbit" "chases" "lion" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone likes the squirrel then they like the rabbit.
((("someone" "likes" "squirrel" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is green then they like the lion.
((("someone" "is" "green" "+")) -> ("someone" "likes" "lion" "+"))
If someone chases the lion then they eat the cow.
((("someone" "chases" "lion" "+")) -> ("someone" "eats" "cow" "+"))
If someone is rough and they like the cow then they eat the cow.
((("someone" "is" "rough" "+") ("someone" "likes" "cow" "+")) -> ("someone" "eats" "cow" "+"))
If the cow is rough then the cow is green.
((("cow" "is" "rough" "+")) -> ("cow" "is" "green" "+"))
If someone eats the rabbit then the rabbit eats the cow.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "cow" "+"))
If someone chases the rabbit then they are rough.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "rough" "+"))
The cow likes the squirrel.
True
1
proof
[(triple5)]
("cow" "likes" "squirrel" "+")
triple5
The cow is not cold.
False
1
inv-proof
[(triple4)]
("cow" "is" "cold" "-")
triple4
The cow is rough.
True
2
proof
[(((triple1) -> rule8))]
("cow" "is" "rough" "+")
((triple1) -> (rule8 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The squirrel does not eat the cow.
False
2
inv-proof
[(((triple11) -> rule4))]
("squirrel" "eats" "cow" "-")
((triple11) -> (rule4 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The cow is green.
True
3
proof
[(((((triple1) -> rule8)) -> rule6))]
("cow" "is" "green" "+")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is not green.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule6))]
("cow" "is" "green" "-")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow likes the lion.
True
4
proof
[(((((((triple1) -> rule8)) -> rule6)) -> rule3))]
("cow" "likes" "lion" "+")
((((((triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow does not like the lion.
False
4
inv-proof
[(((((((triple1) -> rule8)) -> rule6)) -> rule3))]
("cow" "likes" "lion" "-")
((((((triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "lion" "-")
The squirrel likes the rabbit.
Unknown
rconc
[@1: The squirrel likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "rabbit" "+")
The lion is not rough.
Unknown
inv-rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "rough" "-")
The cow eats the cow.
Unknown
rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "cow" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
The lion does not chase the cow.
Unknown
inv-random
[@0: The lion chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cow" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow likes the squirrel.[(triple5)] The lion chases the squirrel.[(triple6)] The lion does not like the cow.[(triple7)] The rabbit chases the squirrel.[(triple8)] The rabbit is green.[(triple9)] The rabbit is rough.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel is blue.[(triple12)] @1: The cow is rough.[(((triple1) -> rule8))] The cow likes the rabbit.[(((triple5) -> rule2))] The rabbit eats the cow.[(((triple2) -> rule7))] The rabbit likes the lion.[(((triple9) -> rule3))] The squirrel eats the cow.[(((triple11) -> rule4))] @2: The cow is green.[(((((triple1) -> rule8)) -> rule6))] @3: The cow likes the lion.[(((((((triple1) -> rule8)) -> rule6)) -> rule3))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple6
The lion does not like the cow.
("lion" "likes" "cow" "-")
triple7
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The cow is rough.
("cow" "is" "rough" "+")
((triple1) -> (rule8 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
((triple5) -> (rule2 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
((triple2) -> (rule7 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
((triple9) -> (rule3 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((triple11) -> (rule4 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The cow is green.
("cow" "is" "green" "+")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow likes the lion.
("cow" "likes" "lion" "+")
((((((triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cow likes the lion.
("cow" "likes" "lion" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3