The dog eats the tiger. The squirrel is blue. The tiger does not chase the dog. If the dog is not kind and the dog does not chase the tiger then the dog is young.
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
If the dog is not kind and the dog does not chase the tiger then the dog is young.
((("dog" "is" "kind" "~") ("dog" "chases" "tiger" "~")) -> ("dog" "is" "young" "+"))
The tiger does not chase the dog.
True
1
proof
[(triple3)]
("tiger" "chases" "dog" "-")
triple3
The dog does not eat the tiger.
False
1
inv-proof
[(triple1)]
("dog" "eats" "tiger" "-")
triple1
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "-")
The dog needs the squirrel.
Unknown
random
[@0: The dog needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "squirrel" "+")
@0: The dog eats the tiger.[(triple1)] The squirrel is blue.[(triple2)] The tiger does not chase the dog.[(triple3)]
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple2
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
triple3