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