The bear eats the lion. The bear is young. The dog eats the lion. The dog likes the bear. The lion eats the mouse. The lion is cold. The mouse chases the bear. The mouse eats the bear. The mouse is cold. The mouse is rough. The mouse is round. The mouse likes the dog. If someone chases the bear then the bear eats the dog. If the bear eats the dog then the dog is cold.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is young.
("bear" "is" "young" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If someone chases the bear then the bear eats the dog.
((("someone" "chases" "bear" "+")) -> ("bear" "eats" "dog" "+"))
If the bear eats the dog then the dog is cold.
((("bear" "eats" "dog" "+")) -> ("dog" "is" "cold" "+"))
The bear eats the lion.
True
1
proof
[(triple1)]
("bear" "eats" "lion" "+")
triple1
The lion does not eat the mouse.
False
1
inv-proof
[(triple5)]
("lion" "eats" "mouse" "-")
triple5
The bear eats the dog.
True
2
proof
[(((triple7) -> rule1))]
("bear" "eats" "dog" "+")
((triple7) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear does not eat the dog.
False
2
inv-proof
[(((triple7) -> rule1))]
("bear" "eats" "dog" "-")
((triple7) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog is cold.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("dog" "is" "cold" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
The dog is not cold.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule2))]
("dog" "is" "cold" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2
The lion does not eat the bear.
Unknown
inv-random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The mouse does not eat the dog.
Unknown
inv-random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The lion does not like the mouse.
Unknown
inv-random
[@0: The lion likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "mouse" "-")
The dog chases the bear.
Unknown
random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bear" "+")
@0: The bear eats the lion.[(triple1)] The bear is young.[(triple2)] The dog eats the lion.[(triple3)] The dog likes the bear.[(triple4)] The lion eats the mouse.[(triple5)] The lion is cold.[(triple6)] The mouse chases the bear.[(triple7)] The mouse eats the bear.[(triple8)] The mouse is cold.[(triple9)] The mouse is rough.[(triple10)] The mouse is round.[(triple11)] The mouse likes the dog.[(triple12)] @1: The bear eats the dog.[(((triple7) -> rule1))] @2: The dog is cold.[(((((triple7) -> rule1)) -> rule2))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The dog eats the lion.
("dog" "eats" "lion" "+")
triple3
The dog likes the bear.
("dog" "likes" "bear" "+")
triple4
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple5
The lion is cold.
("lion" "is" "cold" "+")
triple6
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple7
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The mouse is round.
("mouse" "is" "round" "+")
triple11
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple12
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple7) -> (rule1 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The bear eats the dog.
("bear" "eats" "dog" "+")
int2