The bear is cold. The bear likes the cat. The bear sees the mouse. The cat is green. The mouse is red. The mouse is round. The mouse sees the cat. If the bear is round then the bear chases the cat. If someone likes the bear and they like the cat then the bear likes the mouse. If someone likes the cat then they like the bear.
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The cat is green.
("cat" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
If the bear is round then the bear chases the cat.
((("bear" "is" "round" "+")) -> ("bear" "chases" "cat" "+"))
If someone likes the bear and they like the cat then the bear likes the mouse.
((("someone" "likes" "bear" "+") ("someone" "likes" "cat" "+")) -> ("bear" "likes" "mouse" "+"))
If someone likes the cat then they like the bear.
((("someone" "likes" "cat" "+")) -> ("someone" "likes" "bear" "+"))
The bear sees the mouse.
True
1
proof
[(triple3)]
("bear" "sees" "mouse" "+")
triple3
The mouse does not see the cat.
False
1
inv-proof
[(triple7)]
("mouse" "sees" "cat" "-")
triple7
The bear likes the bear.
True
2
proof
[(((triple2) -> rule3))]
("bear" "likes" "bear" "+")
((triple2) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "likes" "bear" "-")
((triple2) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear likes the mouse.
True
4
proof
[(((((triple2) -> rule3) triple2) -> rule2))]
("bear" "likes" "mouse" "+")
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear does not like the mouse.
False
4
inv-proof
[(((((triple2) -> rule3) triple2) -> rule2))]
("bear" "likes" "mouse" "-")
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The mouse does not like the bear.
Unknown
inv-rconc
[@1: The mouse likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "likes" "bear" "-")
The cat likes the bear.
Unknown
rconc
[@1: The cat likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "bear" "+")
The bear does not chase the cat.
Unknown
inv-rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "cat" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
The cat does not like the mouse.
Unknown
inv-random
[@0: The cat likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "mouse" "-")
The mouse likes the cat.
Unknown
random
[@0: The mouse likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "cat" "+")
@0: The bear is cold.[(triple1)] The bear likes the cat.[(triple2)] The bear sees the mouse.[(triple3)] The cat is green.[(triple4)] The mouse is red.[(triple5)] The mouse is round.[(triple6)] The mouse sees the cat.[(triple7)] @1: The bear likes the bear.[(((triple2) -> rule3))] @2: The bear likes the mouse.[(((((triple2) -> rule3) triple2) -> rule2))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple7
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2