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