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