The cow likes the lion. The dog needs the lion. The lion is young. If someone is young then they like the dog. If someone sees the cow and the cow likes the lion then the lion likes the cow.
The cow likes the lion.
("cow" "likes" "lion" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion is young.
("lion" "is" "young" "+")
If someone is young then they like the dog.
((("someone" "is" "young" "+")) -> ("someone" "likes" "dog" "+"))
If someone sees the cow and the cow likes the lion then the lion likes the cow.
((("someone" "sees" "cow" "+") ("cow" "likes" "lion" "+")) -> ("lion" "likes" "cow" "+"))
The lion is young.
True
1
proof
[(triple3)]
("lion" "is" "young" "+")
triple3
The lion is not young.
False
1
inv-proof
[(triple3)]
("lion" "is" "young" "-")
triple3
The cow does not like the dog.
Unknown
inv-rconc
[@1: The cow likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "dog" "-")
The cow needs the lion.
Unknown
random
[@0: The cow needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "lion" "+")
@0: The cow likes the lion.[(triple1)] The dog needs the lion.[(triple2)] The lion is young.[(triple3)] @1: The lion likes the dog.[(((triple3) -> rule1))]
The cow likes the lion.
("cow" "likes" "lion" "+")
triple1
The dog needs the lion.
("dog" "needs" "lion" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion likes the dog.
("lion" "likes" "dog" "+")
((triple3) -> (rule1 % int1))
The lion likes the dog.
("lion" "likes" "dog" "+")
int1