The dog eats the tiger. The dog is red. The dog likes the tiger. The dog visits the tiger. The tiger eats the dog. The tiger is cold. The tiger is red. The tiger is round. The tiger likes the dog. The tiger does not visit the dog. If something likes the dog and it does not eat the dog then it is round. If something is red and not cold then it does not like the dog.
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
If something likes the dog and it does not eat the dog then it is round.
((("something" "likes" "dog" "+") ("something" "eats" "dog" "~")) -> ("something" "is" "round" "+"))
If something is red and not cold then it does not like the dog.
((("something" "is" "red" "+") ("something" "is" "cold" "~")) -> ("something" "likes" "dog" "-"))
The tiger is red.
True
1
proof
[(triple7)]
("tiger" "is" "red" "+")
triple7
The dog does not like the tiger.
False
1
inv-proof
[(triple3)]
("dog" "likes" "tiger" "-")
triple3
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "round" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog eats the tiger.[(triple1)] The dog is red.[(triple2)] The dog likes the tiger.[(triple3)] The dog visits the tiger.[(triple4)] The tiger does not visit the dog.[(triple10)] The tiger eats the dog.[(triple5)] The tiger is cold.[(triple6)] The tiger is red.[(triple7)] The tiger is round.[(triple8)] The tiger likes the dog.[(triple9)]
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple3
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple4
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
triple10
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple5
The tiger is cold.
("tiger" "is" "cold" "+")
triple6
The tiger is red.
("tiger" "is" "red" "+")
triple7
The tiger is round.
("tiger" "is" "round" "+")
triple8
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple9