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