The bear is kind. The bear is rough. The cow chases the dog. The dog chases the bear. The dog is not nice. The dog likes the cow. The dog needs the cow. The rabbit chases the bear. The rabbit needs the bear. The rabbit needs the dog. If something likes the rabbit then it likes the cow. If the dog needs the bear then the bear is big. If something is young then it does not need the rabbit. If something is kind then it likes the bear. If something is nice then it needs the dog. If something likes the cow and it does not chase the dog then the dog likes the rabbit. If something needs the dog then it is not nice. If something chases the cow then it likes the dog.
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If something likes the rabbit then it likes the cow.
((("something" "likes" "rabbit" "+")) -> ("something" "likes" "cow" "+"))
If the dog needs the bear then the bear is big.
((("dog" "needs" "bear" "+")) -> ("bear" "is" "big" "+"))
If something is young then it does not need the rabbit.
((("something" "is" "young" "+")) -> ("something" "needs" "rabbit" "-"))
If something is kind then it likes the bear.
((("something" "is" "kind" "+")) -> ("something" "likes" "bear" "+"))
If something is nice then it needs the dog.
((("something" "is" "nice" "+")) -> ("something" "needs" "dog" "+"))
If something likes the cow and it does not chase the dog then the dog likes the rabbit.
((("something" "likes" "cow" "+") ("something" "chases" "dog" "~")) -> ("dog" "likes" "rabbit" "+"))
If something needs the dog then it is not nice.
((("something" "needs" "dog" "+")) -> ("something" "is" "nice" "-"))
If something chases the cow then it likes the dog.
((("something" "chases" "cow" "+")) -> ("something" "likes" "dog" "+"))
The dog is not nice.
True
1
proof
[(triple5)]
("dog" "is" "nice" "-")
triple5
The dog does not like the cow.
False
1
inv-proof
[(triple6)]
("dog" "likes" "cow" "-")
triple6
The rabbit is not nice.
True
2
proof
[(((triple10) -> rule7))]
("rabbit" "is" "nice" "-")
((triple10) -> (rule7 % int1))
The rabbit is not nice.
("rabbit" "is" "nice" "-")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple1) -> rule4))]
("bear" "likes" "bear" "-")
((triple1) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the cow.
Unknown
inv-rconc
[@1: The bear likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "cow" "-")
The rabbit likes the bear.
Unknown
rconc
[@1: The rabbit likes the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "likes" "bear" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The cow chases the rabbit.
Unknown
random
[@0: The cow chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "rabbit" "+")
@0: The bear is kind.[(triple1)] The bear is rough.[(triple2)] The cow chases the dog.[(triple3)] The dog chases the bear.[(triple4)] The dog is not nice.[(triple5)] The dog likes the cow.[(triple6)] The dog needs the cow.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit needs the bear.[(triple9)] The rabbit needs the dog.[(triple10)] @1: The bear likes the bear.[(((triple1) -> rule4))] The rabbit is not nice.[(((triple10) -> rule7))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The cow chases the dog.
("cow" "chases" "dog" "+")
triple3
The dog chases the bear.
("dog" "chases" "bear" "+")
triple4
The dog is not nice.
("dog" "is" "nice" "-")
triple5
The dog likes the cow.
("dog" "likes" "cow" "+")
triple6
The dog needs the cow.
("dog" "needs" "cow" "+")
triple7
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple8
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple9
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple10
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple1) -> (rule4 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The rabbit is not nice.
("rabbit" "is" "nice" "-")
((triple10) -> (rule7 % int1))
The rabbit is not nice.
("rabbit" "is" "nice" "-")
int1