The bear eats the lion. The bear eats the mouse. The bear is blue. The bear is green. The bear is young. The bear likes the lion. The bear sees the mouse. The lion sees the mouse. The mouse is cold. The mouse is young. If someone eats the mouse then the mouse likes the bear. If someone likes the lion then they are blue. If someone eats the bear then they are cold. If someone is cold then they see the mouse. If someone is young and cold then they like the lion. If someone sees the mouse and they like the bear then the bear is round.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is young.
("mouse" "is" "young" "+")
If someone eats the mouse then the mouse likes the bear.
((("someone" "eats" "mouse" "+")) -> ("mouse" "likes" "bear" "+"))
If someone likes the lion then they are blue.
((("someone" "likes" "lion" "+")) -> ("someone" "is" "blue" "+"))
If someone eats the bear then they are cold.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they see the mouse.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "mouse" "+"))
If someone is young and cold then they like the lion.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "lion" "+"))
If someone sees the mouse and they like the bear then the bear is round.
((("someone" "sees" "mouse" "+") ("someone" "likes" "bear" "+")) -> ("bear" "is" "round" "+"))
The bear is blue.
True
1
proof
[(triple3 OR ((triple6) -> rule2))]
("bear" "is" "blue" "+")
triple3
((triple6) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear does not like the lion.
False
1
inv-proof
[(triple6)]
("bear" "likes" "lion" "-")
triple6
The mouse sees the mouse.
True
2
proof
[(((triple9) -> rule4))]
("mouse" "sees" "mouse" "+")
((triple9) -> (rule4 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse does not see the mouse.
False
2
inv-proof
[(((triple9) -> rule4))]
("mouse" "sees" "mouse" "-")
((triple9) -> (rule4 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse is blue.
True
4
proof
[(((((triple10 triple9) -> rule5)) -> rule2))]
("mouse" "is" "blue" "+")
((((triple10 triple9) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int2
The bear is not round.
False
5
inv-proof
[(((((triple9) -> rule4) ((triple2) -> rule1)) -> rule6))]
("bear" "is" "round" "-")
((((triple9) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "cold" "-")
The lion is cold.
Unknown
rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "cold" "+")
The lion is not blue.
Unknown
inv-rconc
[@2: The lion is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("lion" "is" "blue" "-")
The mouse eats the bear.
Unknown
random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "+")
The mouse does not see the bear.
Unknown
inv-random
[@0: The mouse sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bear" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The bear eats the lion.[(triple1)] The bear eats the mouse.[(triple2)] The bear is blue.[(triple3 OR ((triple6) -> rule2))] The bear is green.[(triple4)] The bear is young.[(triple5)] The bear likes the lion.[(triple6)] The bear sees the mouse.[(triple7)] The lion sees the mouse.[(triple8)] The mouse is cold.[(triple9)] The mouse is young.[(triple10)] @1: The mouse likes the bear.[(((triple2) -> rule1))] The mouse likes the lion.[(((triple10 triple9) -> rule5))] The mouse sees the mouse.[(((triple9) -> rule4))] @2: The bear is round.[(((((triple9) -> rule4) ((triple2) -> rule1)) -> rule6))] The mouse is blue.[(((((triple10 triple9) -> rule5)) -> rule2))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
((triple6) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear likes the lion.
("bear" "likes" "lion" "+")
triple6
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple7
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse is young.
("mouse" "is" "young" "+")
triple10
The mouse likes the bear.
("mouse" "likes" "bear" "+")
((triple2) -> (rule1 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse likes the lion.
("mouse" "likes" "lion" "+")
((triple10 triple9) -> (rule5 % int1))
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple9) -> (rule4 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((((triple9) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple10 triple9) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the lion.
("mouse" "likes" "lion" "+")
int2