The bear is green. The bear is nice. The bear does not see the lion. The lion chases the bear. The lion chases the mouse. The lion is green. The mouse chases the lion. The mouse is nice. The mouse is red. The mouse does not like the lion. If the mouse chases the bear and the mouse is nice then the bear is big. If someone chases the mouse then the mouse chases the bear.
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear does not see the lion.
("bear" "sees" "lion" "-")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is green.
("lion" "is" "green" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
If the mouse chases the bear and the mouse is nice then the bear is big.
((("mouse" "chases" "bear" "+") ("mouse" "is" "nice" "+")) -> ("bear" "is" "big" "+"))
If someone chases the mouse then the mouse chases the bear.
((("someone" "chases" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
The lion chases the mouse.
True
1
proof
[(triple5)]
("lion" "chases" "mouse" "+")
triple5
The lion does not chase the mouse.
False
1
inv-proof
[(triple5)]
("lion" "chases" "mouse" "-")
triple5
The mouse chases the bear.
True
2
proof
[(((triple5) -> rule2))]
("mouse" "chases" "bear" "+")
((triple5) -> (rule2 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse does not chase the bear.
False
2
inv-proof
[(((triple5) -> rule2))]
("mouse" "chases" "bear" "-")
((triple5) -> (rule2 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The bear is big.
True
4
proof
[(((((triple5) -> rule2) triple8) -> rule1))]
("bear" "is" "big" "+")
((((triple5) -> (rule2 % int2)) triple8) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The bear is not big.
False
4
inv-proof
[(((((triple5) -> rule2) triple8) -> rule1))]
("bear" "is" "big" "-")
((((triple5) -> (rule2 % int2)) triple8) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2
The bear does not like the mouse.
Unknown
inv-random
[@0: The bear likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "mouse" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "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 bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The bear does not see the lion.[(triple3)] The bear is green.[(triple1)] The bear is nice.[(triple2)] The lion chases the bear.[(triple4)] The lion chases the mouse.[(triple5)] The lion is green.[(triple6)] The mouse chases the lion.[(triple7)] The mouse does not like the lion.[(triple10)] The mouse is nice.[(triple8)] The mouse is red.[(triple9)] @1: The mouse chases the bear.[(((triple5) -> rule2))] @2: The bear is big.[(((((triple5) -> rule2) triple8) -> rule1))]
The bear does not see the lion.
("bear" "sees" "lion" "-")
triple3
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The lion chases the bear.
("lion" "chases" "bear" "+")
triple4
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple5
The lion is green.
("lion" "is" "green" "+")
triple6
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple7
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((triple5) -> (rule2 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((((triple5) -> (rule2 % int2)) triple8) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2