The cow chases the dog. The cow is kind. The cow likes the dog. The cow visits the squirrel. The dog is kind. The dog likes the squirrel. The dog visits the rabbit. The rabbit chases the dog. The squirrel is green. The squirrel is rough. The squirrel likes the rabbit. The squirrel visits the rabbit. If something is rough then it chases the squirrel.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something is rough then it chases the squirrel.
((("something" "is" "rough" "+")) -> ("something" "chases" "squirrel" "+"))
The dog visits the rabbit.
True
1
proof
[(triple7)]
("dog" "visits" "rabbit" "+")
triple7
The dog does not visit the rabbit.
False
1
inv-proof
[(triple7)]
("dog" "visits" "rabbit" "-")
triple7
The squirrel chases the squirrel.
True
2
proof
[(((triple10) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple10) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((triple10) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The rabbit does not chase the squirrel.
Unknown
inv-rconc
[@1: The rabbit chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "squirrel" "-")
The dog chases the squirrel.
Unknown
rconc
[@1: The dog chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "squirrel" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cow chases the dog.[(triple1)] The cow is kind.[(triple2)] The cow likes the dog.[(triple3)] The cow visits the squirrel.[(triple4)] The dog is kind.[(triple5)] The dog likes the squirrel.[(triple6)] The dog visits the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The squirrel is green.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the rabbit.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The squirrel chases the squirrel.[(((triple10) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow likes the dog.
("cow" "likes" "dog" "+")
triple3
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple6
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple11
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple12
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1