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