The cat is nice. The cow is green. The cow visits the cat. The lion is green. The mouse likes the cow. The mouse likes the lion. The mouse sees the cow. If someone visits the cat then they are young.
The cat is nice.
("cat" "is" "nice" "+")
The cow is green.
("cow" "is" "green" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The lion is green.
("lion" "is" "green" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone visits the cat then they are young.
((("someone" "visits" "cat" "+")) -> ("someone" "is" "young" "+"))
The mouse likes the lion.
True
1
proof
[(triple6)]
("mouse" "likes" "lion" "+")
triple6
The cow is not green.
False
1
inv-proof
[(triple2)]
("cow" "is" "green" "-")
triple2
The cow is young.
True
2
proof
[(((triple3) -> rule1))]
("cow" "is" "young" "+")
((triple3) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "is" "young" "-")
((triple3) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "young" "-")
The mouse is young.
Unknown
rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "young" "+")
The cat does not see the cow.
Unknown
inv-random
[@0: The cat sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cow" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The cat is nice.[(triple1)] The cow is green.[(triple2)] The cow visits the cat.[(triple3)] The lion is green.[(triple4)] The mouse likes the cow.[(triple5)] The mouse likes the lion.[(triple6)] The mouse sees the cow.[(triple7)] @1: The cow is young.[(((triple3) -> rule1))]
The cat is nice.
("cat" "is" "nice" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow visits the cat.
("cow" "visits" "cat" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple5
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple6
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
((triple3) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1