The dog eats the lion. The dog is blue. The dog is green. The dog is rough. The dog is round. The dog does not see the lion. The lion eats the dog. The lion is blue. The lion is green. The lion sees the dog. If something eats the dog then it chases the lion. If something sees the dog then it is green.
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog does not see the lion.
("dog" "sees" "lion" "-")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
If something eats the dog then it chases the lion.
((("something" "eats" "dog" "+")) -> ("something" "chases" "lion" "+"))
If something sees the dog then it is green.
((("something" "sees" "dog" "+")) -> ("something" "is" "green" "+"))
The lion sees the dog.
True
1
proof
[(triple10)]
("lion" "sees" "dog" "+")
triple10
The lion is not blue.
False
1
inv-proof
[(triple8)]
("lion" "is" "blue" "-")
triple8
The dog does not chase the lion.
Unknown
inv-rconc
[@1: The dog chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "lion" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
@0: The dog does not see the lion.[(triple6)] The dog eats the lion.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)] The lion eats the dog.[(triple7)] The lion is blue.[(triple8)] The lion is green.[(triple9 OR ((triple10) -> rule2))] The lion sees the dog.[(triple10)] @1: The lion chases the lion.[(((triple7) -> rule1))]
The dog does not see the lion.
("dog" "sees" "lion" "-")
triple6
The dog eats the lion.
("dog" "eats" "lion" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The lion eats the dog.
("lion" "eats" "dog" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
((triple10) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
triple10
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple7) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1