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