The bear chases the dog. The bear chases the rabbit. The bear is nice. The bear is round. The bear is young. The bear does not like the rabbit. The dog chases the bear. The dog is nice. The dog likes the bear. The dog likes the rabbit. The dog does not visit the bear. The dog visits the rabbit. The rabbit chases the dog. The rabbit is young. The rabbit likes the dog. If something likes the bear and the bear does not like the dog then it visits the dog. If something chases the rabbit then it visits the dog. If something is young then it does not chase the bear. If something chases the dog and it is rough then it visits the rabbit. If something visits the bear then the bear does not chase the rabbit. If something chases the rabbit and the rabbit likes the bear then the bear likes the rabbit.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog does not visit the bear.
("dog" "visits" "bear" "-")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If something likes the bear and the bear does not like the dog then it visits the dog.
((("something" "likes" "bear" "+") ("bear" "likes" "dog" "~")) -> ("something" "visits" "dog" "+"))
If something chases the rabbit then it visits the dog.
((("something" "chases" "rabbit" "+")) -> ("something" "visits" "dog" "+"))
If something is young then it does not chase the bear.
((("something" "is" "young" "+")) -> ("something" "chases" "bear" "-"))
If something chases the dog and it is rough then it visits the rabbit.
((("something" "chases" "dog" "+") ("something" "is" "rough" "+")) -> ("something" "visits" "rabbit" "+"))
If something visits the bear then the bear does not chase the rabbit.
((("something" "visits" "bear" "+")) -> ("bear" "chases" "rabbit" "-"))
If something chases the rabbit and the rabbit likes the bear then the bear likes the rabbit.
((("something" "chases" "rabbit" "+") ("rabbit" "likes" "bear" "+")) -> ("bear" "likes" "rabbit" "+"))
The dog chases the bear.
True
1
proof
[(triple7)]
("dog" "chases" "bear" "+")
triple7
The dog is not nice.
False
1
inv-proof
[(triple8)]
("dog" "is" "nice" "-")
triple8
The rabbit does not visit the dog.
Unknown
inv-rconc
[@1: The rabbit visits the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "dog" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the rabbit.[(triple2)] The bear does not like the rabbit.[(triple6)] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The dog chases the bear.[(triple7)] The dog does not visit the bear.[(triple11)] The dog is nice.[(triple8)] The dog likes the bear.[(triple9)] The dog likes the rabbit.[(triple10)] The dog visits the rabbit.[(triple12)] The rabbit chases the dog.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the dog.[(triple15)] @1: The bear does not chase the bear.[(((triple5) -> rule3))] The bear visits the dog.[(((triple2) -> rule2))] The rabbit does not chase the bear.[(((triple14) -> rule3))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
triple6
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The dog chases the bear.
("dog" "chases" "bear" "+")
triple7
The dog does not visit the bear.
("dog" "visits" "bear" "-")
triple11
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple10
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple12
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple15
The bear does not chase the bear.
("bear" "chases" "bear" "-")
((triple5) -> (rule3 % int1))
The bear does not chase the bear.
("bear" "chases" "bear" "-")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
((triple2) -> (rule2 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The rabbit does not chase the bear.
("rabbit" "chases" "bear" "-")
((triple14) -> (rule3 % int1))
The rabbit does not chase the bear.
("rabbit" "chases" "bear" "-")
int1