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