The bear eats the cow. The bear eats the dog. The bear likes the dog. The bear sees the dog. The cow is nice. The dog eats the bear. The dog eats the cow. The dog is red. The dog is young. The dog likes the bear. If something sees the cow then the cow eats the bear. If the cow likes the dog and the cow eats the bear then the dog sees the cow. If something likes the dog then the dog sees the cow. If something eats the bear and it eats the dog then the bear sees the dog. If something likes the bear and it sees the bear then the bear eats the cow. If something is young and it eats the cow then it eats the bear.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cow is nice.
("cow" "is" "nice" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
If something sees the cow then the cow eats the bear.
((("something" "sees" "cow" "+")) -> ("cow" "eats" "bear" "+"))
If the cow likes the dog and the cow eats the bear then the dog sees the cow.
((("cow" "likes" "dog" "+") ("cow" "eats" "bear" "+")) -> ("dog" "sees" "cow" "+"))
If something likes the dog then the dog sees the cow.
((("something" "likes" "dog" "+")) -> ("dog" "sees" "cow" "+"))
If something eats the bear and it eats the dog then the bear sees the dog.
((("something" "eats" "bear" "+") ("something" "eats" "dog" "+")) -> ("bear" "sees" "dog" "+"))
If something likes the bear and it sees the bear then the bear eats the cow.
((("something" "likes" "bear" "+") ("something" "sees" "bear" "+")) -> ("bear" "eats" "cow" "+"))
If something is young and it eats the cow then it eats the bear.
((("something" "is" "young" "+") ("something" "eats" "cow" "+")) -> ("something" "eats" "bear" "+"))
The cow is nice.
True
1
proof
[(triple5)]
("cow" "is" "nice" "+")
triple5
The dog is not red.
False
1
inv-proof
[(triple8)]
("dog" "is" "red" "-")
triple8
The dog sees the cow.
True
2
proof
[(((triple3) -> rule3))]
("dog" "sees" "cow" "+")
((triple3) -> (rule3 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The dog does not see the cow.
False
2
inv-proof
[(((triple3) -> rule3))]
("dog" "sees" "cow" "-")
((triple3) -> (rule3 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The cow eats the bear.
True
3
proof
[(((((triple3) -> rule3)) -> rule1))]
("cow" "eats" "bear" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The cow does not eat the bear.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule1))]
("cow" "eats" "bear" "-")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "eats" "bear" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The bear does not see the cow.
Unknown
inv-random
[@0: The bear sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "cow" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
The cow does not like the bear.
Unknown
inv-random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bear eats the cow.[(triple1)] The bear eats the dog.[(triple2)] The bear likes the dog.[(triple3)] The bear sees the dog.[(triple4)] The cow is nice.[(triple5)] The dog eats the bear.[(triple6 OR ((triple9 triple7) -> rule6))] The dog eats the cow.[(triple7)] The dog is red.[(triple8)] The dog is young.[(triple9)] The dog likes the bear.[(triple10)] @1: The dog sees the cow.[(((triple3) -> rule3))] @2: The cow eats the bear.[(((((triple3) -> rule3)) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear sees the dog.
("bear" "sees" "dog" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
((triple9 triple7) -> (rule6 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The dog sees the cow.
("dog" "sees" "cow" "+")
((triple3) -> (rule3 % int1))
The dog sees the cow.
("dog" "sees" "cow" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The dog sees the cow.
("dog" "sees" "cow" "+")
int2