The bear eats the cow. The bear eats the dog. The bear is big. The bear is young. The bear needs the lion. The bear sees the cow. The cow is big. The cow is round. The cow needs the lion. The dog eats the bear. The dog needs the bear. The dog sees the cow. The lion eats the bear. The lion eats the dog. The lion sees the cow. If the cow sees the dog and the dog sees the bear then the bear needs the dog. If something needs the bear and the bear eats the cow then it is round.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
If the cow sees the dog and the dog sees the bear then the bear needs the dog.
((("cow" "sees" "dog" "+") ("dog" "sees" "bear" "+")) -> ("bear" "needs" "dog" "+"))
If something needs the bear and the bear eats the cow then it is round.
((("something" "needs" "bear" "+") ("bear" "eats" "cow" "+")) -> ("something" "is" "round" "+"))
The cow is big.
True
1
proof
[(triple7)]
("cow" "is" "big" "+")
triple7
The bear is not big.
False
1
inv-proof
[(triple3)]
("bear" "is" "big" "-")
triple3
The dog is round.
True
3
proof
[(((triple11 triple1) -> rule2))]
("dog" "is" "round" "+")
((triple11 triple1) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
3
inv-proof
[(((triple11 triple1) -> rule2))]
("dog" "is" "round" "-")
((triple11 triple1) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The lion is not round.
Unknown
inv-rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "round" "-")
The bear needs the dog.
Unknown
rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "dog" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The bear eats the cow.[(triple1)] The bear eats the dog.[(triple2)] The bear is big.[(triple3)] The bear is young.[(triple4)] The bear needs the lion.[(triple5)] The bear sees the cow.[(triple6)] The cow is big.[(triple7)] The cow is round.[(triple8)] The cow needs the lion.[(triple9)] The dog eats the bear.[(triple10)] The dog needs the bear.[(triple11)] The dog sees the cow.[(triple12)] The lion eats the bear.[(triple13)] The lion eats the dog.[(triple14)] The lion sees the cow.[(triple15)] @1: The dog is round.[(((triple11 triple1) -> rule2))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear needs the lion.
("bear" "needs" "lion" "+")
triple5
The bear sees the cow.
("bear" "sees" "cow" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow is round.
("cow" "is" "round" "+")
triple8
The cow needs the lion.
("cow" "needs" "lion" "+")
triple9
The dog eats the bear.
("dog" "eats" "bear" "+")
triple10
The dog needs the bear.
("dog" "needs" "bear" "+")
triple11
The dog sees the cow.
("dog" "sees" "cow" "+")
triple12
The lion eats the bear.
("lion" "eats" "bear" "+")
triple13
The lion eats the dog.
("lion" "eats" "dog" "+")
triple14
The lion sees the cow.
("lion" "sees" "cow" "+")
triple15
The dog is round.
("dog" "is" "round" "+")
((triple11 triple1) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1