The bear eats the cow. The bear is blue. The cow chases the bear. The cow chases the lion. The cow eats the bear. The cow eats the dog. The cow is blue. The dog chases the bear. The dog chases the lion. The dog eats the bear. The dog eats the lion. The dog is green. The lion chases the dog. The lion is green. The lion is kind. Round things are blue. If the lion eats the cow and the cow is green then the cow chases the dog. If something needs the cow then it chases the lion. If something chases the bear then the bear eats the dog. If something needs the dog and it is kind then the dog chases the lion. If something chases the lion and the lion eats the dog then the lion is green. If something is blue then it needs the cow. If something needs the cow and the cow needs the dog then it eats the lion.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is green.
("dog" "is" "green" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If the lion eats the cow and the cow is green then the cow chases the dog.
((("lion" "eats" "cow" "+") ("cow" "is" "green" "+")) -> ("cow" "chases" "dog" "+"))
If something needs the cow then it chases the lion.
((("something" "needs" "cow" "+")) -> ("something" "chases" "lion" "+"))
If something chases the bear then the bear eats the dog.
((("something" "chases" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If something needs the dog and it is kind then the dog chases the lion.
((("something" "needs" "dog" "+") ("something" "is" "kind" "+")) -> ("dog" "chases" "lion" "+"))
If something chases the lion and the lion eats the dog then the lion is green.
((("something" "chases" "lion" "+") ("lion" "eats" "dog" "+")) -> ("lion" "is" "green" "+"))
If something is blue then it needs the cow.
((("something" "is" "blue" "+")) -> ("something" "needs" "cow" "+"))
If something needs the cow and the cow needs the dog then it eats the lion.
((("something" "needs" "cow" "+") ("cow" "needs" "dog" "+")) -> ("something" "eats" "lion" "+"))
The lion is kind.
True
1
proof
[(triple15)]
("lion" "is" "kind" "+")
triple15
The lion does not chase the dog.
False
1
inv-proof
[(triple13)]
("lion" "chases" "dog" "-")
triple13
The bear eats the dog.
True
2
proof
[(((triple3) -> rule4) OR ((triple8) -> rule4))]
("bear" "eats" "dog" "+")
((triple3) -> (rule4 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((triple8) -> (rule4 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear does not need the cow.
False
2
inv-proof
[(((triple2) -> rule7))]
("bear" "needs" "cow" "-")
((triple2) -> (rule7 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The bear chases the lion.
True
3
proof
[(((((triple2) -> rule7)) -> rule3))]
("bear" "chases" "lion" "+")
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
int2
The bear does not chase the lion.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule3))]
("bear" "chases" "lion" "-")
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
int2
The dog does not need the cow.
Unknown
inv-rconc
[@2: The dog needs the cow.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("dog" "needs" "cow" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "eats" "lion" "+")
The bear does not eat the lion.
Unknown
inv-rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "eats" "lion" "-")
The bear needs the dog.
Unknown
random
[@0: The bear needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "dog" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog needs the lion.
Unknown
random
[@0: The dog needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "lion" "+")
@0: The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The cow chases the bear.[(triple3)] The cow chases the lion.[(triple4 OR ((((triple7) -> rule7)) -> rule3))] The cow eats the bear.[(triple5)] The cow eats the dog.[(triple6)] The cow is blue.[(triple7)] The dog chases the bear.[(triple8)] The dog chases the lion.[(triple9)] The dog eats the bear.[(triple10)] The dog eats the lion.[(triple11)] The dog is green.[(triple12)] The lion chases the dog.[(triple13)] The lion is green.[(triple14)] The lion is kind.[(triple15)] @1: The bear eats the dog.[(((triple3) -> rule4) OR ((triple8) -> rule4))] The bear needs the cow.[(((triple2) -> rule7))] The cow needs the cow.[(((triple7) -> rule7))] @2: The bear chases the lion.[(((((triple2) -> rule7)) -> rule3))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The cow chases the bear.
("cow" "chases" "bear" "+")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
((((triple7) -> (rule7 % int2))) -> (rule3 % int1))
The cow chases the lion.
("cow" "chases" "lion" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The cow eats the dog.
("cow" "eats" "dog" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The dog chases the bear.
("dog" "chases" "bear" "+")
triple8
The dog chases the lion.
("dog" "chases" "lion" "+")
triple9
The dog eats the bear.
("dog" "eats" "bear" "+")
triple10
The dog eats the lion.
("dog" "eats" "lion" "+")
triple11
The dog is green.
("dog" "is" "green" "+")
triple12
The lion chases the dog.
("lion" "chases" "dog" "+")
triple13
The lion is green.
("lion" "is" "green" "+")
triple14
The lion is kind.
("lion" "is" "kind" "+")
triple15
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple3) -> (rule4 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((triple8) -> (rule4 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
((triple2) -> (rule7 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple7) -> (rule7 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
int2