The cow does not chase the rabbit. The cow chases the squirrel. The cow is blue. The cow is red. The cow is round. The cow needs the dog. The cow needs the squirrel. The cow visits the dog. The cow does not visit the squirrel. The dog does not need the squirrel. The dog visits the rabbit. The rabbit needs the dog. The squirrel is big. The squirrel is rough. The squirrel visits the dog. If something chases the cow then the cow visits the rabbit. If something needs the cow then the cow chases the squirrel. If something needs the rabbit then the rabbit needs the dog. If something needs the rabbit and the rabbit chases the dog then it visits the squirrel. All big things are blue. If something is rough then it does not chase the squirrel. If something is blue then it visits the cow. If something visits the dog and it does not need the squirrel then the squirrel does not chase the rabbit.
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something chases the cow then the cow visits the rabbit.
((("something" "chases" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
If something needs the cow then the cow chases the squirrel.
((("something" "needs" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
If something needs the rabbit then the rabbit needs the dog.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "needs" "dog" "+"))
If something needs the rabbit and the rabbit chases the dog then it visits the squirrel.
((("something" "needs" "rabbit" "+") ("rabbit" "chases" "dog" "+")) -> ("something" "visits" "squirrel" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is rough then it does not chase the squirrel.
((("something" "is" "rough" "+")) -> ("something" "chases" "squirrel" "-"))
If something is blue then it visits the cow.
((("something" "is" "blue" "+")) -> ("something" "visits" "cow" "+"))
If something visits the dog and it does not need the squirrel then the squirrel does not chase the rabbit.
((("something" "visits" "dog" "+") ("something" "needs" "squirrel" "~")) -> ("squirrel" "chases" "rabbit" "-"))
The squirrel is big.
True
1
proof
[(triple13)]
("squirrel" "is" "big" "+")
triple13
The cow is not blue.
False
1
inv-proof
[(triple3)]
("cow" "is" "blue" "-")
triple3
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "blue" "-")
The squirrel needs the rabbit.
Unknown
random
[@0: The squirrel needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "rabbit" "+")
@0: The cow chases the squirrel.[(triple2)] The cow does not chase the rabbit.[(triple1)] The cow does not visit the squirrel.[(triple9)] The cow is blue.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow needs the dog.[(triple6)] The cow needs the squirrel.[(triple7)] The cow visits the dog.[(triple8)] The dog does not need the squirrel.[(triple10)] The dog visits the rabbit.[(triple11)] The rabbit needs the dog.[(triple12)] The squirrel is big.[(triple13)] The squirrel is rough.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The cow visits the cow.[(((triple3) -> rule7))] The squirrel does not chase the squirrel.[(((triple14) -> rule6))] The squirrel is blue.[(((triple13) -> rule5))] @2: The squirrel visits the cow.[(((((triple13) -> rule5)) -> rule7))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
triple1
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
triple9
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow needs the dog.
("cow" "needs" "dog" "+")
triple6
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple7
The cow visits the dog.
("cow" "visits" "dog" "+")
triple8
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
triple10
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple11
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple3) -> (rule7 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
((triple14) -> (rule6 % int1))
The squirrel does not chase the squirrel.
("squirrel" "chases" "squirrel" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple13) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((((triple13) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2