The cow sees the mouse. The cow visits the rabbit. The lion is green. The lion is kind. The mouse sees the rabbit. The rabbit likes the cow. The rabbit sees the mouse. If something sees the mouse then it likes the rabbit. If something visits the lion and it sees the cow then the cow likes the rabbit. If something is kind then it visits the mouse. If the cow likes the mouse and the mouse visits the rabbit then the mouse likes the rabbit. If the cow likes the lion and the lion is rough then the lion visits the cow. If something visits the cow then the cow visits the lion. If something sees the rabbit then the rabbit is kind. If the lion visits the mouse then the lion is rough.
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If something sees the mouse then it likes the rabbit.
((("something" "sees" "mouse" "+")) -> ("something" "likes" "rabbit" "+"))
If something visits the lion and it sees the cow then the cow likes the rabbit.
((("something" "visits" "lion" "+") ("something" "sees" "cow" "+")) -> ("cow" "likes" "rabbit" "+"))
If something is kind then it visits the mouse.
((("something" "is" "kind" "+")) -> ("something" "visits" "mouse" "+"))
If the cow likes the mouse and the mouse visits the rabbit then the mouse likes the rabbit.
((("cow" "likes" "mouse" "+") ("mouse" "visits" "rabbit" "+")) -> ("mouse" "likes" "rabbit" "+"))
If the cow likes the lion and the lion is rough then the lion visits the cow.
((("cow" "likes" "lion" "+") ("lion" "is" "rough" "+")) -> ("lion" "visits" "cow" "+"))
If something visits the cow then the cow visits the lion.
((("something" "visits" "cow" "+")) -> ("cow" "visits" "lion" "+"))
If something sees the rabbit then the rabbit is kind.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If the lion visits the mouse then the lion is rough.
((("lion" "visits" "mouse" "+")) -> ("lion" "is" "rough" "+"))
The rabbit likes the cow.
True
1
proof
[(triple6)]
("rabbit" "likes" "cow" "+")
triple6
The mouse does not see the rabbit.
False
1
inv-proof
[(triple5)]
("mouse" "sees" "rabbit" "-")
triple5
The cow likes the rabbit.
True
2
proof
[(((triple1) -> rule1))]
("cow" "likes" "rabbit" "+")
((triple1) -> (rule1 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The cow does not like the rabbit.
False
2
inv-proof
[(((triple1) -> rule1))]
("cow" "likes" "rabbit" "-")
((triple1) -> (rule1 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The lion is rough.
True
3
proof
[(((((triple4) -> rule3)) -> rule8))]
("lion" "is" "rough" "+")
((((triple4) -> (rule3 % int2))) -> (rule8 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
The rabbit does not visit the mouse.
False
3
inv-proof
[(((((triple5) -> rule7)) -> rule3))]
("rabbit" "visits" "mouse" "-")
((((triple5) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The lion likes the rabbit.
Unknown
rconc
[@1: The lion likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "rabbit" "+")
The cow does not visit the mouse.
Unknown
inv-rconc
[@1: The cow visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "mouse" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
The mouse does not see the cow.
Unknown
inv-random
[@0: The mouse sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "cow" "-")
The rabbit visits the cow.
Unknown
random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "+")
@0: The cow sees the mouse.[(triple1)] The cow visits the rabbit.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit likes the cow.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The cow likes the rabbit.[(((triple1) -> rule1))] The lion visits the mouse.[(((triple4) -> rule3))] The rabbit is kind.[(((triple5) -> rule7))] The rabbit likes the rabbit.[(((triple7) -> rule1))] @2: The lion is rough.[(((((triple4) -> rule3)) -> rule8))] The rabbit visits the mouse.[(((((triple5) -> rule7)) -> rule3))]
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
The lion is kind.
("lion" "is" "kind" "+")
triple4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple5
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple6
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple7
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
((triple1) -> (rule1 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
((triple4) -> (rule3 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple5) -> (rule7 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple7) -> (rule1 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((((triple4) -> (rule3 % int2))) -> (rule8 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
((((triple5) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2