The cow is green. The cow likes the dog. The dog is big. The dog is green. The dog visits the squirrel. The lion is green. The lion likes the cow. The lion visits the cow. The lion visits the squirrel. The squirrel is big. The squirrel is red. The squirrel is rough. The squirrel visits the cow. The squirrel visits the dog. The squirrel visits the lion. If the lion likes the cow and the cow likes the dog then the lion eats the cow. If something is nice then it visits the lion. If the lion eats the cow then the cow visits the lion.
The cow is green.
("cow" "is" "green" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The lion is green.
("lion" "is" "green" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the lion likes the cow and the cow likes the dog then the lion eats the cow.
((("lion" "likes" "cow" "+") ("cow" "likes" "dog" "+")) -> ("lion" "eats" "cow" "+"))
If something is nice then it visits the lion.
((("something" "is" "nice" "+")) -> ("something" "visits" "lion" "+"))
If the lion eats the cow then the cow visits the lion.
((("lion" "eats" "cow" "+")) -> ("cow" "visits" "lion" "+"))
The lion likes the cow.
True
1
proof
[(triple7)]
("lion" "likes" "cow" "+")
triple7
The dog is not big.
False
1
inv-proof
[(triple3)]
("dog" "is" "big" "-")
triple3
The lion eats the cow.
True
3
proof
[(((triple7 triple2) -> rule1))]
("lion" "eats" "cow" "+")
((triple7 triple2) -> (rule1 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion does not eat the cow.
False
3
inv-proof
[(((triple7 triple2) -> rule1))]
("lion" "eats" "cow" "-")
((triple7 triple2) -> (rule1 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The dog does not visit the lion.
Unknown
inv-rconc
[@1: The dog visits the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "lion" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "visits" "lion" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The lion eats the squirrel.
Unknown
random
[@0: The lion eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "squirrel" "+")
@0: The cow is green.[(triple1)] The cow likes the dog.[(triple2)] The dog is big.[(triple3)] The dog is green.[(triple4)] The dog visits the squirrel.[(triple5)] The lion is green.[(triple6)] The lion likes the cow.[(triple7)] The lion visits the cow.[(triple8)] The lion visits the squirrel.[(triple9)] The squirrel is big.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel visits the cow.[(triple13)] The squirrel visits the dog.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The lion eats the cow.[(((triple7 triple2) -> rule1))] @2: The cow visits the lion.[(((((triple7 triple2) -> rule1)) -> rule3))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow likes the dog.
("cow" "likes" "dog" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple5
The lion is green.
("lion" "is" "green" "+")
triple6
The lion likes the cow.
("lion" "likes" "cow" "+")
triple7
The lion visits the cow.
("lion" "visits" "cow" "+")
triple8
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple13
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple14
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple15
The lion eats the cow.
("lion" "eats" "cow" "+")
((triple7 triple2) -> (rule1 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The cow visits the lion.
("cow" "visits" "lion" "+")
((((triple7 triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2