The cat is big. The cat is young. The cat likes the dog. The cat sees the dog. The dog does not eat the cat. The dog eats the lion. The dog is big. The dog is blue. The dog is young. The dog likes the lion. The dog sees the cat. The dog sees the lion. The lion is big. The lion likes the dog. The lion does not see the cat. The lion sees the dog. If someone sees the dog and the dog sees the cat then they are green. If the lion is green then the lion does not eat the cat.
The cat is big.
("cat" "is" "big" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog does not eat the cat.
("dog" "eats" "cat" "-")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion does not see the cat.
("lion" "sees" "cat" "-")
The lion sees the dog.
("lion" "sees" "dog" "+")
If someone sees the dog and the dog sees the cat then they are green.
((("someone" "sees" "dog" "+") ("dog" "sees" "cat" "+")) -> ("someone" "is" "green" "+"))
If the lion is green then the lion does not eat the cat.
((("lion" "is" "green" "+")) -> ("lion" "eats" "cat" "-"))
The dog eats the lion.
True
1
proof
[(triple6)]
("dog" "eats" "lion" "+")
triple6
The dog is not young.
False
1
inv-proof
[(triple9)]
("dog" "is" "young" "-")
triple9
The lion is green.
True
3
proof
[(((triple16 triple11) -> rule1))]
("lion" "is" "green" "+")
((triple16 triple11) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The cat is not green.
False
3
inv-proof
[(((triple4 triple11) -> rule1))]
("cat" "is" "green" "-")
((triple4 triple11) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The lion does not eat the cat.
True
4
proof
[(((((triple16 triple11) -> rule1)) -> rule2))]
("lion" "eats" "cat" "-")
((((triple16 triple11) -> (rule1 % int2))) -> (rule2 % int1))
The lion does not eat the cat.
("lion" "eats" "cat" "-")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion eats the cat.
False
4
inv-proof
[(((((triple16 triple11) -> rule1)) -> rule2))]
("lion" "eats" "cat" "+")
((((triple16 triple11) -> (rule1 % int2))) -> (rule2 % int1))
The lion does not eat the cat.
("lion" "eats" "cat" "-")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "green" "-")
The lion likes the cat.
Unknown
random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "+")
The lion does not eat the dog.
Unknown
inv-random
[@0: The lion eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "dog" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The cat is big.[(triple1)] The cat is young.[(triple2)] The cat likes the dog.[(triple3)] The cat sees the dog.[(triple4)] The dog does not eat the cat.[(triple5)] The dog eats the lion.[(triple6)] The dog is big.[(triple7)] The dog is blue.[(triple8)] The dog is young.[(triple9)] The dog likes the lion.[(triple10)] The dog sees the cat.[(triple11)] The dog sees the lion.[(triple12)] The lion does not see the cat.[(triple15)] The lion is big.[(triple13)] The lion likes the dog.[(triple14)] The lion sees the dog.[(triple16)] @1: The cat is green.[(((triple4 triple11) -> rule1))] The lion is green.[(((triple16 triple11) -> rule1))] @2: The lion does not eat the cat.[(((((triple16 triple11) -> rule1)) -> rule2))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The cat likes the dog.
("cat" "likes" "dog" "+")
triple3
The cat sees the dog.
("cat" "sees" "dog" "+")
triple4
The dog does not eat the cat.
("dog" "eats" "cat" "-")
triple5
The dog eats the lion.
("dog" "eats" "lion" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog likes the lion.
("dog" "likes" "lion" "+")
triple10
The dog sees the cat.
("dog" "sees" "cat" "+")
triple11
The dog sees the lion.
("dog" "sees" "lion" "+")
triple12
The lion does not see the cat.
("lion" "sees" "cat" "-")
triple15
The lion is big.
("lion" "is" "big" "+")
triple13
The lion likes the dog.
("lion" "likes" "dog" "+")
triple14
The lion sees the dog.
("lion" "sees" "dog" "+")
triple16
The cat is green.
("cat" "is" "green" "+")
((triple4 triple11) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple16 triple11) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion does not eat the cat.
("lion" "eats" "cat" "-")
((((triple16 triple11) -> (rule1 % int2))) -> (rule2 % int1))
The lion does not eat the cat.
("lion" "eats" "cat" "-")
int1
The lion is green.
("lion" "is" "green" "+")
int2