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