The cow eats the rabbit. The cow likes the dog. The cow likes the lion. The cow likes the rabbit. The cow sees the rabbit. The dog eats the rabbit. The dog is nice. The dog is rough. The dog sees the lion. The dog does not see the rabbit. The lion eats the rabbit. The lion likes the dog. The lion sees the cow. The lion sees the dog. The rabbit likes the dog. If someone likes the dog and the dog is not blue then the dog eats the rabbit. If the dog is not rough then the dog does not eat the rabbit. If someone is nice and not rough then they see the dog. If someone is nice then they like the cow. If the rabbit eats the lion and the lion likes the dog then the dog is nice. If someone sees the dog then they like the dog.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If someone likes the dog and the dog is not blue then the dog eats the rabbit.
((("someone" "likes" "dog" "+") ("dog" "is" "blue" "~")) -> ("dog" "eats" "rabbit" "+"))
If the dog is not rough then the dog does not eat the rabbit.
((("dog" "is" "rough" "~")) -> ("dog" "eats" "rabbit" "-"))
If someone is nice and not rough then they see the dog.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "~")) -> ("someone" "sees" "dog" "+"))
If someone is nice then they like the cow.
((("someone" "is" "nice" "+")) -> ("someone" "likes" "cow" "+"))
If the rabbit eats the lion and the lion likes the dog then the dog is nice.
((("rabbit" "eats" "lion" "+") ("lion" "likes" "dog" "+")) -> ("dog" "is" "nice" "+"))
If someone sees the dog then they like the dog.
((("someone" "sees" "dog" "+")) -> ("someone" "likes" "dog" "+"))
The lion sees the dog.
True
1
proof
[(triple14)]
("lion" "sees" "dog" "+")
triple14
The cow does not like the lion.
False
1
inv-proof
[(triple3)]
("cow" "likes" "lion" "-")
triple3
The dog likes the cow.
True
2
proof
[(((triple7) -> rule4))]
("dog" "likes" "cow" "+")
((triple7) -> (rule4 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog does not like the cow.
False
2
inv-proof
[(((triple7) -> rule4))]
("dog" "likes" "cow" "-")
((triple7) -> (rule4 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog does not like the dog.
Unknown
inv-rconc
[@2: The dog likes the dog.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("dog" "likes" "dog" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "cow" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The cow eats the rabbit.[(triple1)] The cow likes the dog.[(triple2)] The cow likes the lion.[(triple3)] The cow likes the rabbit.[(triple4)] The cow sees the rabbit.[(triple5)] The dog does not see the rabbit.[(triple10)] The dog eats the rabbit.[(triple6)] The dog is nice.[(triple7)] The dog is rough.[(triple8)] The dog sees the lion.[(triple9)] The lion eats the rabbit.[(triple11)] The lion likes the dog.[(triple12 OR ((triple14) -> rule6))] The lion sees the cow.[(triple13)] The lion sees the dog.[(triple14)] The rabbit likes the dog.[(triple15)] @1: The dog likes the cow.[(((triple7) -> rule4))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow likes the dog.
("cow" "likes" "dog" "+")
triple2
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple5
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
triple10
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The dog sees the lion.
("dog" "sees" "lion" "+")
triple9
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple11
The lion likes the dog.
("lion" "likes" "dog" "+")
triple12
((triple14) -> (rule6 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1
The lion sees the cow.
("lion" "sees" "cow" "+")
triple13
The lion sees the dog.
("lion" "sees" "dog" "+")
triple14
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple15
The dog likes the cow.
("dog" "likes" "cow" "+")
((triple7) -> (rule4 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1