The bear chases the mouse. The bear is green. The bear is nice. The bear does not like the mouse. The bear sees the mouse. The mouse chases the bear. The mouse is big. The mouse is blue. The mouse is cold. The mouse is nice. The mouse likes the bear. The mouse does not see the bear. If someone chases the bear then they do not see the bear. If someone is green then they chase the bear.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
If someone chases the bear then they do not see the bear.
((("someone" "chases" "bear" "+")) -> ("someone" "sees" "bear" "-"))
If someone is green then they chase the bear.
((("someone" "is" "green" "+")) -> ("someone" "chases" "bear" "+"))
The bear does not like the mouse.
True
1
proof
[(triple4)]
("bear" "likes" "mouse" "-")
triple4
The mouse is not nice.
False
1
inv-proof
[(triple10)]
("mouse" "is" "nice" "-")
triple10
The bear chases the bear.
True
2
proof
[(((triple2) -> rule2))]
("bear" "chases" "bear" "+")
((triple2) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "chases" "bear" "-")
((triple2) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not see the bear.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("bear" "sees" "bear" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bear does not see the bear.
("bear" "sees" "bear" "-")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear sees the bear.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("bear" "sees" "bear" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bear does not see the bear.
("bear" "sees" "bear" "-")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bear chases the mouse.[(triple1)] The bear does not like the mouse.[(triple4)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear sees the mouse.[(triple5)] The mouse chases the bear.[(triple6)] The mouse does not see the bear.[(triple12 OR ((triple6) -> rule1))] The mouse is big.[(triple7)] The mouse is blue.[(triple8)] The mouse is cold.[(triple9)] The mouse is nice.[(triple10)] The mouse likes the bear.[(triple11)] @1: The bear chases the bear.[(((triple2) -> rule2))] @2: The bear does not see the bear.[(((((triple2) -> rule2)) -> rule1))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
triple4
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple6
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
triple12
((triple6) -> (rule1 % int1))
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse is nice.
("mouse" "is" "nice" "+")
triple10
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple11
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple2) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not see the bear.
("bear" "sees" "bear" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bear does not see the bear.
("bear" "sees" "bear" "-")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2