The bear eats the dog. The bear is red. The bear is not young. The bear needs the dog. The dog chases the bear. The dog eats the bear. The dog eats the lion. The dog is not big. The dog is not nice. The dog is red. The dog needs the bear. The dog needs the lion. The lion chases the dog. The lion is not red. The lion does not need the bear. The lion needs the dog. If someone eats the lion and they are red then the lion chases the bear. If the dog is red and the dog eats the lion then the dog chases the lion. If the dog chases the lion then the lion is not big. If someone needs the lion and they do not eat the bear then they eat the lion. If the lion needs the dog and the lion is red then the lion needs the bear. If the lion eats the bear and the lion is red then the lion chases the dog.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is not young.
("bear" "is" "young" "-")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog is not nice.
("dog" "is" "nice" "-")
The dog is red.
("dog" "is" "red" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion does not need the bear.
("lion" "needs" "bear" "-")
The lion needs the dog.
("lion" "needs" "dog" "+")
If someone eats the lion and they are red then the lion chases the bear.
((("someone" "eats" "lion" "+") ("someone" "is" "red" "+")) -> ("lion" "chases" "bear" "+"))
If the dog is red and the dog eats the lion then the dog chases the lion.
((("dog" "is" "red" "+") ("dog" "eats" "lion" "+")) -> ("dog" "chases" "lion" "+"))
If the dog chases the lion then the lion is not big.
((("dog" "chases" "lion" "+")) -> ("lion" "is" "big" "-"))
If someone needs the lion and they do not eat the bear then they eat the lion.
((("someone" "needs" "lion" "+") ("someone" "eats" "bear" "~")) -> ("someone" "eats" "lion" "+"))
If the lion needs the dog and the lion is red then the lion needs the bear.
((("lion" "needs" "dog" "+") ("lion" "is" "red" "+")) -> ("lion" "needs" "bear" "+"))
If the lion eats the bear and the lion is red then the lion chases the dog.
((("lion" "eats" "bear" "+") ("lion" "is" "red" "+")) -> ("lion" "chases" "dog" "+"))
The dog needs the lion.
True
1
proof
[(triple12)]
("dog" "needs" "lion" "+")
triple12
The lion needs the bear.
False
1
inv-proof
[(triple15)]
("lion" "needs" "bear" "+")
triple15
The dog chases the lion.
True
3
proof
[(((triple10 triple7) -> rule2))]
("dog" "chases" "lion" "+")
((triple10 triple7) -> (rule2 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog does not chase the lion.
False
3
inv-proof
[(((triple10 triple7) -> rule2))]
("dog" "chases" "lion" "-")
((triple10 triple7) -> (rule2 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The lion is not big.
True
4
proof
[(((((triple10 triple7) -> rule2)) -> rule3))]
("lion" "is" "big" "-")
((((triple10 triple7) -> (rule2 % int2))) -> (rule3 % int1))
The lion is not big.
("lion" "is" "big" "-")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The lion is big.
False
4
inv-proof
[(((((triple10 triple7) -> rule2)) -> rule3))]
("lion" "is" "big" "+")
((((triple10 triple7) -> (rule2 % int2))) -> (rule3 % int1))
The lion is not big.
("lion" "is" "big" "-")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "eats" "lion" "-")
The bear eats the lion.
Unknown
rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "lion" "+")
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The bear eats the dog.[(triple1)] The bear is not young.[(triple3)] The bear is red.[(triple2)] The bear needs the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog eats the bear.[(triple6)] The dog eats the lion.[(triple7)] The dog is not big.[(triple8)] The dog is not nice.[(triple9)] The dog is red.[(triple10)] The dog needs the bear.[(triple11)] The dog needs the lion.[(triple12)] The lion chases the dog.[(triple13)] The lion does not need the bear.[(triple15)] The lion is not red.[(triple14)] The lion needs the dog.[(triple16)] @1: The dog chases the lion.[(((triple10 triple7) -> rule2))] The lion chases the bear.[(((triple7 triple10) -> rule1))] @2: The lion is not big.[(((((triple10 triple7) -> rule2)) -> rule3))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is not young.
("bear" "is" "young" "-")
triple3
The bear is red.
("bear" "is" "red" "+")
triple2
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog eats the lion.
("dog" "eats" "lion" "+")
triple7
The dog is not big.
("dog" "is" "big" "-")
triple8
The dog is not nice.
("dog" "is" "nice" "-")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
The dog needs the bear.
("dog" "needs" "bear" "+")
triple11
The dog needs the lion.
("dog" "needs" "lion" "+")
triple12
The lion chases the dog.
("lion" "chases" "dog" "+")
triple13
The lion does not need the bear.
("lion" "needs" "bear" "-")
triple15
The lion is not red.
("lion" "is" "red" "-")
triple14
The lion needs the dog.
("lion" "needs" "dog" "+")
triple16
The dog chases the lion.
("dog" "chases" "lion" "+")
((triple10 triple7) -> (rule2 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple7 triple10) -> (rule1 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is not big.
("lion" "is" "big" "-")
((((triple10 triple7) -> (rule2 % int2))) -> (rule3 % int1))
The lion is not big.
("lion" "is" "big" "-")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2