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