The bear is green. The bear sees the dog. The cow is green. The cow is red. The cow likes the dog. The dog is green. The dog likes the bear. The dog likes the cow. The dog needs the bear. The dog sees the cow. The dog sees the lion. The lion is green. The lion is nice. The lion is rough. The lion sees the cow. The lion sees the dog. If something needs the bear and it is green then the bear sees the dog. If something sees the cow and the cow sees the bear then the bear likes the cow. If something is red and rough then it needs the dog. If something is rough then it needs the cow. If something sees the bear and it is green then it sees the dog. If something needs the cow then the cow is nice.
The bear is green.
("bear" "is" "green" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
If something needs the bear and it is green then the bear sees the dog.
((("something" "needs" "bear" "+") ("something" "is" "green" "+")) -> ("bear" "sees" "dog" "+"))
If something sees the cow and the cow sees the bear then the bear likes the cow.
((("something" "sees" "cow" "+") ("cow" "sees" "bear" "+")) -> ("bear" "likes" "cow" "+"))
If something is red and rough then it needs the dog.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "needs" "dog" "+"))
If something is rough then it needs the cow.
((("something" "is" "rough" "+")) -> ("something" "needs" "cow" "+"))
If something sees the bear and it is green then it sees the dog.
((("something" "sees" "bear" "+") ("something" "is" "green" "+")) -> ("something" "sees" "dog" "+"))
If something needs the cow then the cow is nice.
((("something" "needs" "cow" "+")) -> ("cow" "is" "nice" "+"))
The lion is rough.
True
1
proof
[(triple14)]
("lion" "is" "rough" "+")
triple14
The lion is not nice.
False
1
inv-proof
[(triple13)]
("lion" "is" "nice" "-")
triple13
The lion needs the cow.
True
2
proof
[(((triple14) -> rule4))]
("lion" "needs" "cow" "+")
((triple14) -> (rule4 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1
The lion does not need the cow.
False
2
inv-proof
[(((triple14) -> rule4))]
("lion" "needs" "cow" "-")
((triple14) -> (rule4 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1
The cow is nice.
True
3
proof
[(((((triple14) -> rule4)) -> rule6))]
("cow" "is" "nice" "+")
((((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
int2
The cow is not nice.
False
3
inv-proof
[(((((triple14) -> rule4)) -> rule6))]
("cow" "is" "nice" "-")
((((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
int2
The bear does not like the cow.
Unknown
inv-rconc
[@1: The bear likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "cow" "-")
The lion needs the dog.
Unknown
rconc
[@1: The lion needs the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "needs" "dog" "+")
The dog does not see the dog.
Unknown
inv-rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "sees" "dog" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
The bear does not like the lion.
Unknown
inv-random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "-")
The lion likes the bear.
Unknown
random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "+")
@0: The bear is green.[(triple1)] The bear sees the dog.[(triple2 OR ((triple9 triple6) -> rule1))] The cow is green.[(triple3)] The cow is red.[(triple4)] The cow likes the dog.[(triple5)] The dog is green.[(triple6)] The dog likes the bear.[(triple7)] The dog likes the cow.[(triple8)] The dog needs the bear.[(triple9)] The dog sees the cow.[(triple10)] The dog sees the lion.[(triple11)] The lion is green.[(triple12)] The lion is nice.[(triple13)] The lion is rough.[(triple14)] The lion sees the cow.[(triple15)] The lion sees the dog.[(triple16)] @1: The lion needs the cow.[(((triple14) -> rule4))] @2: The cow is nice.[(((((triple14) -> rule4)) -> rule6))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple2
((triple9 triple6) -> (rule1 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow likes the dog.
("cow" "likes" "dog" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The dog likes the bear.
("dog" "likes" "bear" "+")
triple7
The dog likes the cow.
("dog" "likes" "cow" "+")
triple8
The dog needs the bear.
("dog" "needs" "bear" "+")
triple9
The dog sees the cow.
("dog" "sees" "cow" "+")
triple10
The dog sees the lion.
("dog" "sees" "lion" "+")
triple11
The lion is green.
("lion" "is" "green" "+")
triple12
The lion is nice.
("lion" "is" "nice" "+")
triple13
The lion is rough.
("lion" "is" "rough" "+")
triple14
The lion sees the cow.
("lion" "sees" "cow" "+")
triple15
The lion sees the dog.
("lion" "sees" "dog" "+")
triple16
The lion needs the cow.
("lion" "needs" "cow" "+")
((triple14) -> (rule4 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
((((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
int2