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