The bear likes the cow. The bear likes the dog. The bear likes the mouse. The bear does not see the dog. The bear sees the mouse. The cow eats the bear. The cow sees the mouse. The dog eats the cow. The dog eats the mouse. The dog is rough. The dog likes the bear. The dog likes the mouse. The mouse does not eat the dog. The mouse is kind. The mouse is nice. The mouse sees the bear. If something is cold and it eats the cow then it is big. If something likes the cow then the cow is not cold. If something sees the bear and the bear sees the cow then the bear eats the cow. If the cow likes the mouse and the mouse does not eat the dog then the dog is kind. If something sees the cow then it likes the dog. If something sees the mouse and the mouse does not see the dog then the dog sees the bear. If something eats the bear and it is cold then it sees the cow. If something eats the bear and the bear does not eat the cow then the bear is not kind.
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear does not see the dog.
("bear" "sees" "dog" "-")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something is cold and it eats the cow then it is big.
((("something" "is" "cold" "+") ("something" "eats" "cow" "+")) -> ("something" "is" "big" "+"))
If something likes the cow then the cow is not cold.
((("something" "likes" "cow" "+")) -> ("cow" "is" "cold" "-"))
If something sees the bear and the bear sees the cow then the bear eats the cow.
((("something" "sees" "bear" "+") ("bear" "sees" "cow" "+")) -> ("bear" "eats" "cow" "+"))
If the cow likes the mouse and the mouse does not eat the dog then the dog is kind.
((("cow" "likes" "mouse" "+") ("mouse" "eats" "dog" "~")) -> ("dog" "is" "kind" "+"))
If something sees the cow then it likes the dog.
((("something" "sees" "cow" "+")) -> ("something" "likes" "dog" "+"))
If something sees the mouse and the mouse does not see the dog then the dog sees the bear.
((("something" "sees" "mouse" "+") ("mouse" "sees" "dog" "~")) -> ("dog" "sees" "bear" "+"))
If something eats the bear and it is cold then it sees the cow.
((("something" "eats" "bear" "+") ("something" "is" "cold" "+")) -> ("something" "sees" "cow" "+"))
If something eats the bear and the bear does not eat the cow then the bear is not kind.
((("something" "eats" "bear" "+") ("bear" "eats" "cow" "~")) -> ("bear" "is" "kind" "-"))
The dog eats the cow.
True
1
proof
[(triple8)]
("dog" "eats" "cow" "+")
triple8
The bear does not like the cow.
False
1
inv-proof
[(triple1)]
("bear" "likes" "cow" "-")
triple1
The cow is not cold.
True
2
proof
[(((triple1) -> rule2))]
("cow" "is" "cold" "-")
((triple1) -> (rule2 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
The cow is cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "big" "-")
The dog sees the cow.
Unknown
rconc
[@1: The dog sees the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "sees" "cow" "+")
The cow does not see the dog.
Unknown
inv-random
[@0: The cow sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "dog" "-")
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 does not see the dog.[(triple4)] The bear likes the cow.[(triple1)] The bear likes the dog.[(triple2)] The bear likes the mouse.[(triple3)] The bear sees the mouse.[(triple5)] The cow eats the bear.[(triple6)] The cow sees the mouse.[(triple7)] The dog eats the cow.[(triple8)] The dog eats the mouse.[(triple9)] The dog is rough.[(triple10)] The dog likes the bear.[(triple11)] The dog likes the mouse.[(triple12)] The mouse does not eat the dog.[(triple13)] The mouse is kind.[(triple14)] The mouse is nice.[(triple15)] The mouse sees the bear.[(triple16)] @1: The cow is not cold.[(((triple1) -> rule2))]
The bear does not see the dog.
("bear" "sees" "dog" "-")
triple4
The bear likes the cow.
("bear" "likes" "cow" "+")
triple1
The bear likes the dog.
("bear" "likes" "dog" "+")
triple2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple3
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple5
The cow eats the bear.
("cow" "eats" "bear" "+")
triple6
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple7
The dog eats the cow.
("dog" "eats" "cow" "+")
triple8
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple12
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple13
The mouse is kind.
("mouse" "is" "kind" "+")
triple14
The mouse is nice.
("mouse" "is" "nice" "+")
triple15
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple16
The cow is not cold.
("cow" "is" "cold" "-")
((triple1) -> (rule2 % int1))
The cow is not cold.
("cow" "is" "cold" "-")
int1