The dog chases the lion. The dog eats the lion. The dog is kind. The dog is rough. The dog is young. The dog needs the lion. The lion chases the dog. The lion eats the dog. The lion is green. The lion is rough. The lion is young. The lion needs the dog. If someone is kind then they chase the lion.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
If someone is kind then they chase the lion.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "lion" "+"))
The dog is young.
True
1
proof
[(triple5)]
("dog" "is" "young" "+")
triple5
The lion does not need the dog.
False
1
inv-proof
[(triple12)]
("lion" "needs" "dog" "-")
triple12
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The dog chases the lion.[(triple1 OR ((triple3) -> rule1))] The dog eats the lion.[(triple2)] The dog is kind.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5)] The dog needs the lion.[(triple6)] The lion chases the dog.[(triple7)] The lion eats the dog.[(triple8)] The lion is green.[(triple9)] The lion is rough.[(triple10)] The lion is young.[(triple11)] The lion needs the dog.[(triple12)]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
((triple3) -> (rule1 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog eats the lion.
("dog" "eats" "lion" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The dog needs the lion.
("dog" "needs" "lion" "+")
triple6
The lion chases the dog.
("lion" "chases" "dog" "+")
triple7
The lion eats the dog.
("lion" "eats" "dog" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
The lion is young.
("lion" "is" "young" "+")
triple11
The lion needs the dog.
("lion" "needs" "dog" "+")
triple12