The bear chases the rabbit. The bear eats the lion. The bear is big. The bear is red. The bear sees the lion. The lion does not chase the rabbit. The lion is round. The mouse chases the bear. The mouse eats the lion. The mouse is red. The mouse sees the rabbit. The rabbit chases the lion. The rabbit does not eat the lion. The rabbit is rough. The rabbit sees the bear. The rabbit sees the mouse. If someone sees the bear and they are red then the bear sees the mouse. If someone sees the rabbit and the rabbit eats the bear then the bear is nice. If someone chases the bear and the bear is red then they do not see the lion. If someone eats the mouse then they see the lion. If someone sees the rabbit and they do not chase the lion then they do not see the mouse. If the lion does not eat the mouse then the lion does not see the bear. If someone sees the rabbit then the rabbit eats the mouse. If the rabbit is rough then the rabbit does not chase the mouse.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear sees the lion.
("bear" "sees" "lion" "+")
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
The lion is round.
("lion" "is" "round" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If someone sees the bear and they are red then the bear sees the mouse.
((("someone" "sees" "bear" "+") ("someone" "is" "red" "+")) -> ("bear" "sees" "mouse" "+"))
If someone sees the rabbit and the rabbit eats the bear then the bear is nice.
((("someone" "sees" "rabbit" "+") ("rabbit" "eats" "bear" "+")) -> ("bear" "is" "nice" "+"))
If someone chases the bear and the bear is red then they do not see the lion.
((("someone" "chases" "bear" "+") ("bear" "is" "red" "+")) -> ("someone" "sees" "lion" "-"))
If someone eats the mouse then they see the lion.
((("someone" "eats" "mouse" "+")) -> ("someone" "sees" "lion" "+"))
If someone sees the rabbit and they do not chase the lion then they do not see the mouse.
((("someone" "sees" "rabbit" "+") ("someone" "chases" "lion" "~")) -> ("someone" "sees" "mouse" "-"))
If the lion does not eat the mouse then the lion does not see the bear.
((("lion" "eats" "mouse" "~")) -> ("lion" "sees" "bear" "-"))
If someone sees the rabbit then the rabbit eats the mouse.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "eats" "mouse" "+"))
If the rabbit is rough then the rabbit does not chase the mouse.
((("rabbit" "is" "rough" "+")) -> ("rabbit" "chases" "mouse" "-"))
The bear sees the lion.
True
1
proof
[(triple5)]
("bear" "sees" "lion" "+")
triple5
The mouse is not red.
False
1
inv-proof
[(triple10)]
("mouse" "is" "red" "-")
triple10
The mouse does not see the lion.
True
3
proof
[(((triple8 triple4) -> rule3))]
("mouse" "sees" "lion" "-")
((triple8 triple4) -> (rule3 % int1))
The mouse does not see the lion.
("mouse" "sees" "lion" "-")
int1
The rabbit chases the mouse.
False
2
inv-proof
[(((triple14) -> rule8))]
("rabbit" "chases" "mouse" "+")
((triple14) -> (rule8 % int1))
The rabbit does not chase the mouse.
("rabbit" "chases" "mouse" "-")
int1
The rabbit sees the lion.
True
3
proof
[(((((triple11) -> rule7)) -> rule4))]
("rabbit" "sees" "lion" "+")
((((triple11) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit does not see the lion.
False
3
inv-proof
[(((((triple11) -> rule7)) -> rule4))]
("rabbit" "sees" "lion" "-")
((((triple11) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The bear does not see the mouse.
Unknown
inv-rconc
[@1: The bear sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "mouse" "-")
The lion sees the lion.
Unknown
rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "sees" "lion" "+")
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "nice" "-")
The bear chases the mouse.
Unknown
random
[@0: The bear chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "mouse" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The lion eats the bear.
Unknown
random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "+")
@0: The bear chases the rabbit.[(triple1)] The bear eats the lion.[(triple2)] The bear is big.[(triple3)] The bear is red.[(triple4)] The bear sees the lion.[(triple5)] The lion does not chase the rabbit.[(triple6)] The lion is round.[(triple7)] The mouse chases the bear.[(triple8)] The mouse eats the lion.[(triple9)] The mouse is red.[(triple10)] The mouse sees the rabbit.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit does not eat the lion.[(triple13)] The rabbit is rough.[(triple14)] The rabbit sees the bear.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The mouse does not see the lion.[(((triple8 triple4) -> rule3))] The rabbit does not chase the mouse.[(((triple14) -> rule8))] The rabbit eats the mouse.[(((triple11) -> rule7))] @2: The rabbit sees the lion.[(((((triple11) -> rule7)) -> rule4))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear eats the lion.
("bear" "eats" "lion" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear sees the lion.
("bear" "sees" "lion" "+")
triple5
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple8
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple10
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple11
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple12
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
triple13
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple15
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple16
The mouse does not see the lion.
("mouse" "sees" "lion" "-")
((triple8 triple4) -> (rule3 % int1))
The mouse does not see the lion.
("mouse" "sees" "lion" "-")
int1
The rabbit does not chase the mouse.
("rabbit" "chases" "mouse" "-")
((triple14) -> (rule8 % int1))
The rabbit does not chase the mouse.
("rabbit" "chases" "mouse" "-")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
((triple11) -> (rule7 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
((((triple11) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2