The bear chases the lion. The bear does not eat the lion. The bear is young. The bear does not visit the mouse. The lion eats the mouse. The lion is blue. The lion is cold. The lion visits the bear. The lion visits the mouse. The mouse eats the lion. The mouse is round. The mouse visits the lion. If something eats the mouse then the mouse chases the lion. If something visits the lion and it is not blue then the lion eats the bear. If something is cold then it chases the bear. If something chases the mouse and it is big then it chases the bear. If something is blue and cold then it visits the lion. If something chases the lion then it eats the mouse.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear does not eat the lion.
("bear" "eats" "lion" "-")
The bear is young.
("bear" "is" "young" "+")
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If something eats the mouse then the mouse chases the lion.
((("something" "eats" "mouse" "+")) -> ("mouse" "chases" "lion" "+"))
If something visits the lion and it is not blue then the lion eats the bear.
((("something" "visits" "lion" "+") ("something" "is" "blue" "~")) -> ("lion" "eats" "bear" "+"))
If something is cold then it chases the bear.
((("something" "is" "cold" "+")) -> ("something" "chases" "bear" "+"))
If something chases the mouse and it is big then it chases the bear.
((("something" "chases" "mouse" "+") ("something" "is" "big" "+")) -> ("something" "chases" "bear" "+"))
If something is blue and cold then it visits the lion.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "visits" "lion" "+"))
If something chases the lion then it eats the mouse.
((("something" "chases" "lion" "+")) -> ("something" "eats" "mouse" "+"))
The bear does not eat the lion.
True
1
proof
[(triple2)]
("bear" "eats" "lion" "-")
triple2
The bear visits the mouse.
False
1
inv-proof
[(triple4)]
("bear" "visits" "mouse" "+")
triple4
The lion visits the lion.
True
3
proof
[(((triple6 triple7) -> rule5))]
("lion" "visits" "lion" "+")
((triple6 triple7) -> (rule5 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The mouse does not chase the lion.
False
2
inv-proof
[(((triple5) -> rule1) OR ((((triple1) -> rule6)) -> rule1))]
("mouse" "chases" "lion" "-")
((triple5) -> (rule1 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int2
The mouse eats the mouse.
True
3
proof
[(((((triple5) -> rule1)) -> rule6) OR ((((((triple1) -> rule6)) -> rule1)) -> rule6))]
("mouse" "eats" "mouse" "+")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int2
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int3
The mouse does not eat the mouse.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule6) OR ((((((triple1) -> rule6)) -> rule1)) -> rule6))]
("mouse" "eats" "mouse" "-")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int2
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int3
The bear does not visit the lion.
Unknown
inv-rconc
[@1: The bear visits the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "visits" "lion" "-")
The mouse chases the bear.
Unknown
rconc
[@1: The mouse chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "bear" "+")
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "bear" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
@0: The bear chases the lion.[(triple1)] The bear does not eat the lion.[(triple2)] The bear does not visit the mouse.[(triple4)] The bear is young.[(triple3)] The lion eats the mouse.[(triple5)] The lion is blue.[(triple6)] The lion is cold.[(triple7)] The lion visits the bear.[(triple8)] The lion visits the mouse.[(triple9)] The mouse eats the lion.[(triple10)] The mouse is round.[(triple11)] The mouse visits the lion.[(triple12)] @1: The bear eats the mouse.[(((triple1) -> rule6))] The lion chases the bear.[(((triple7) -> rule3))] The lion visits the lion.[(((triple6 triple7) -> rule5))] The mouse chases the lion.[(((triple5) -> rule1) OR ((((triple1) -> rule6)) -> rule1))] @2: The mouse eats the mouse.[(((((triple5) -> rule1)) -> rule6) OR ((((((triple1) -> rule6)) -> rule1)) -> rule6))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear does not eat the lion.
("bear" "eats" "lion" "-")
triple2
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
triple4
The bear is young.
("bear" "is" "young" "+")
triple3
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple5
The lion is blue.
("lion" "is" "blue" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion visits the bear.
("lion" "visits" "bear" "+")
triple8
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple9
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple10
The mouse is round.
("mouse" "is" "round" "+")
triple11
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple12
The bear eats the mouse.
("bear" "eats" "mouse" "+")
((triple1) -> (rule6 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple7) -> (rule3 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple6 triple7) -> (rule5 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
((triple5) -> (rule1 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int2
((((((triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int2
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int3