The dog needs the lion. The dog visits the lion. The lion visits the dog. If someone is kind then they need the lion. If someone eats the dog and the dog visits the lion then the lion is rough. If someone needs the lion then the lion visits the dog. If someone visits the lion then they are round. If someone visits the lion and the lion needs the dog then the lion is rough. All kind people are young.
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If someone is kind then they need the lion.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "lion" "+"))
If someone eats the dog and the dog visits the lion then the lion is rough.
((("someone" "eats" "dog" "+") ("dog" "visits" "lion" "+")) -> ("lion" "is" "rough" "+"))
If someone needs the lion then the lion visits the dog.
((("someone" "needs" "lion" "+")) -> ("lion" "visits" "dog" "+"))
If someone visits the lion then they are round.
((("someone" "visits" "lion" "+")) -> ("someone" "is" "round" "+"))
If someone visits the lion and the lion needs the dog then the lion is rough.
((("someone" "visits" "lion" "+") ("lion" "needs" "dog" "+")) -> ("lion" "is" "rough" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
The lion visits the dog.
True
1
proof
[(triple3 OR ((triple1) -> rule3))]
("lion" "visits" "dog" "+")
triple3
((triple1) -> (rule3 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The dog does not visit the lion.
False
1
inv-proof
[(triple2)]
("dog" "visits" "lion" "-")
triple2
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "young" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The dog needs the lion.[(triple1)] The dog visits the lion.[(triple2)] The lion visits the dog.[(triple3 OR ((triple1) -> rule3))] @1: The dog is round.[(((triple2) -> rule4))]
The dog needs the lion.
("dog" "needs" "lion" "+")
triple1
The dog visits the lion.
("dog" "visits" "lion" "+")
triple2
The lion visits the dog.
("lion" "visits" "dog" "+")
triple3
((triple1) -> (rule3 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((triple2) -> (rule4 % int1))
The dog is round.
("dog" "is" "round" "+")
int1